| 
|
Quote: use analytic syntactic functions and state vectors to define the semantics of a programming language; e.g., val(t) and mkconst(val(t))
topics >
all references >
references m-o >
Topic:
semantics by an abstract machine
Quotation Skeleton
The analytic syntactic functions can be used to … terms described above, we need two more functions … than val(t) is the number that t denotes. … obvious relations i) val(mkconst(.alpha.))=.alpha. ii) isconst(mkconst(.alpha.)) iii) isconst(t) … We can go father and describe the meaning … by its effect on the state vector. Admittedly, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)