Browsing LCS Technical Memos (1974 - 2003) by Author "Trakhtenbrot, B.A."
Now showing items 1-2 of 2
-
From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: An Overview
Trakhtenbrot, B.A.; Halpern, Joseph Y.; Meyer, Albert R. (1983-10)The advantages of denotational over operational semantics are argued. A denotational semantics is provided for an ALGOL-like language with finite-model procedures, blocks with local storage, and sharing (aliasing). Procedure ... -
The Semantics of Local Storage of What Makes The Free-list Free?
Halpern, Joseph Y.; Meyer, Albert R.; Trakhtenbrot, B.A. (1984-04)Denotational semantics for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing) is given by translating programs into an appropriately typed lambda-calculus. Procedures are ...