| 
|
Quote: separate mathematical semantics from the operational semantics; define imperative and dynamic features as change-of-state functions on machine states
Topic:
separate a module's interface specification from its implementation
Topic:
semantics by an abstract machine
Quotation Skeleton
One distinction we have striven to maintain throughout … machine to be organized to execute the actions … . The method aims to produce a mathematical … mathematical entities rather than discussing in any way … are interpreted as "change of state" functions whose … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: separate a module's interface specification from its implementation (86 items)
Topic: semantics by an abstract machine (38 items)