Understanding ALGOL: A View of a Recent Convert to Denotational Semantics
Name
MIT-LCS-TM-245.pdf
Size
4.37 MB
Format
Adobe PDF
Checksum (MD5)
1dcf061471e6e4d8fe19563c8ff1138c
Author(s)
Meyer, Albert R.
Date Issued
October 1983
Series/Report no.
MIT-LCS-TM-245
Abstract
The advantages of denotational over copy-rule semantics are argued. A denotational semantics is indicated for an ALGOL-like language with finite-mode procedures, blocks with local storage, and sharing (aliasing). Procedure declarations are completely explained in the usual framework of complete partial orders, but cpo's are inadequate for the semantics of blocks, and a new class of store models is described. The semantics justifies a proof system for partial correctness of commands containing global procedures.
Persistent DSpace Link
