semantics by an abstract machine
Subtopic: Quote: gives a formal definition of Pascal using a very large set of axioms and inference rules
Hoare, C.A.R., Wirth, N.,
"An axiomatic definition of the programming language Pascal", Berichee der Fachgruppe Computer-Wissenschaffen, 6, November 1972.
ThesaHelp: references g-h (299 items)
Topic: semantics by an abstract machine (38 items)