| 
|
Quote: operational semantics treats a program as an instruction sequence on the states of a machine
topics >
all references >
references c-d >
Topic:
semantics by an abstract machine
Quotation Skeleton
The term operational semantics appeared in the literature … [1963], Landin [1964], and Lucas [1971]. A program is a sequence … itself and some auxiliary data that can represent … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)