Quote: operational semantics requires execution sequence; must have compositionality or definitions become ad hoc

Quotation Skeleton

The main criticism of operational semantics is that … is needed to give its semantics. The semantic … the meaning of a program must be a … program needs an ad hoc definition, the semantics …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: abstraction in programming (67 items)
Topic: abstraction (62 items)
Topic: semantics by an abstract machine (38 items)