| 
|
Quote: gives a formal definition of Pascal using a very large set of axioms and inference rules
topics >
all references >
references g-h >
Topic:
semantics by an abstract machine
Quotation Skeleton
formal" definition of Pascal using a very large … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)