Appears in: [The Computer Journal V26, No2, pp164-174, 1983 (click)].

Programming Denotational Semantics

L Allison, Department of Computer Science, University of Western Australia, Nedlands, Western Australia.

LA home

Also see

Abstract: The denotational semantics of a simple language which includes jumps are programmed in Pascal to give an interpreter. By concentrating on the final state of a program the semantics are directly coded in Pascal with only slight modification to the semantics equations. The interpreter was produced as easily as the formal definition of the language and makes a reference implementation and development testbed. By using a widespread metalanguage such as Pascal this definition can be widely understood and executed.

Also see [1985].


© L. Allison   (or as otherwise indicated),
Created with "vi (Linux or Solaris)",  charset=iso-8859-1,  fetched Thursday, 21-Sep-2017 01:02:02 EDT.

free: Linux, Ubuntu operating-sys, OpenOffice office-suite, The GIMP ~photoshop,
Firefox web-browser, FlashBlock flash on/off.