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
Computing
Publications
 CompJ83

Also see
Semantics

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].

www:


© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Created with "vi (Linux or Solaris)",  charset=iso-8859-1,  fetched Wednesday, 22-Nov-2017 19:10:32 EST.

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