semantics by an abstract machine
"The formal description of programming languages",
IBM Systems Journal, 10, 2, pp. 86-112, 1971.
|QuoteRef: neuhEJ2_1971 ;; shows formal language used to describe PL/1 syntax and semantics--operate on program in tree form. goes into detail
Topic: semantics by an abstract machine (38 items)
ThesaHelp: references m-o (268 items)