| 
|
QuoteRef: degaP6_2001
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
semantics by an abstract machine
Topic:
formal methods and languages
Topic:
abstraction in programming
Topic:
abstraction
Topic:
function syntax by pattern
Topic:
semantic grammar
Reference
Degano, P., Priami, C., "Enhanced operational semantics: a tool for describing and analyzing concurrent systems", ACM Computing Surveys, 33, 2, June 2001, pp. 135-176. Google
136 ;;Quote: operational semantics treats a program as an instruction sequence on the states of a machine
136 ;;Quote: operational semantics are good formal methods; intuitive, help implementers, simple, easy prototyping, easy integration
137 ;;Quote: operational semantics requires execution sequence; must have compositionality or definitions become ad hoc
137 ;;Quote: structural operational semantics recovers compositionality through the syntactic structure of the language
139 ;;Quote: structural operational semantics via proved transition systems; a transition is an encoding of its deduction tree
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: semantics by an abstract machine (38 items)
Topic: formal methods and languages (53 items)
Topic: abstraction in programming (67 items)
Topic: abstraction (62 items)
Topic: function syntax by pattern (15 items)
Topic: semantic grammar (23 items)