C. Strachey. CPL Reference Manual (Incomplete Draft). In [10].  Home/Search   Document Not in Database   Summary   Related Articles

....Strachey does not limit his view of L values to basic (addressable) locations. Note the similarity of this model to the modern object oriented view of variables [51] as consisting of expression and acceptor components. Load update pairs soon appeared in programming languages: in CPL [65], as doublets in Pop 2 [9] and as implicit references in Gedanken [47] To deal with dynamic allocation, Strachey introduces operators to allocate and de allocate L values, and states an axiom intended to ensure that a new L value does not overlap any of the previously existing ones. But ....

....all of the necessary equations, and cites Strachey s An abstract model of storage as a report that would give complete details; as already mentioned, this did not work out. What went wrong One problem, hinted at in the concluding section of Scott and Strachey s 1971 paper [59] is that CPL [4, 65], a programming language whose design Strachey was involved in, allowed recursive procedure declarations with side effects. It is quite difficult to describe this feature correctly; the side effects of the declaration should happen only once, and not every time the procedure is called. Robert ....

C. Strachey. CPL Reference Manual (Incomplete Draft). In [10].

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC