| 
|
Quote: define a programming language using a phrase structure syntax and interpretation rules; one-to-one correspondence to a parse; applied to a generalization of ALGOL
topics >
all references >
references t-z >
Topic:
semantics by an abstract machine
Quotation Skeleton
A method for defining programming languages is developed … by a phrase structure syntax, the meaning in … fixed set of variables, called the Environment. There … rules is determined by the sequence of corresponding … elementary and obvious algorithmic notation. A constructive method … proven. As an example, a generalization of ALGOL … defined adequately and precisely by this method. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)