A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
The congruence of two programming language definitions
1981
Theoretical Computer Science
In recent joint work with Jack Dennis, whiich has so tar appeared only as .I.?-. course notes [219 we halve described several metho& of formally defining the semantics of a programming language" using as an example a simple language designed for the purpose, called PL. The qluestion r~turally arose whether our various definitions were congruent, in the. sense that they defin, d the same language. In particular, one definition gave the denotutimcd semmtics, in the style of Scott alrd Strachey [
doi:10.1016/0304-3975(81)90037-2
fatcat:ofwf77sejndi7fwwr525j5dp4i