| 
|
Quote: structural operational semantics recovers compositionality through the syntactic structure of the language
topics >
all references >
references c-d >
Topic:
abstraction in programming
Topic:
semantics by an abstract machine
Topic:
function syntax by pattern
Topic:
semantic grammar
Quotation Skeleton
To recover compositionality in the framework of operational … , Plotkin [Tech Report DAIMI FN-19, Aahus University, 1981] proposed a structural approach [refs]. … The novelty of Plotkin's structural operational semantics … is the logic-based way in which transitions are … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: abstraction in programming (67 items)
Topic: semantics by an abstract machine (38 items)
Topic: function syntax by pattern (15 items)
Topic: semantic grammar (23 items)