Action Semantics - Other Key Aspects

Other Key Aspects

Action semantics embodies a level of abstraction that increases its comprehensibility. The specifics of the control and data flows that an action involves are implicitly incorporated in the action, as opposed to being explicitly expressed as the details of semantic functions are in denotational semantics. When an action is performed, most information processing and manipulation occurs automatically.

Program phrases are mapped to actions when constructing a definition of a programming languageā€™s meaning in action semantics. The execution of a programming phrase corresponds to the performance of the action to which it maps.

The programming language specification generated from the application of action semantics can be broken down into a lower level (microsemantics) and an upper level (marcosemantics). The lower level consists of defining the meaning of action notation, while the upper level consists of defining the meaning of a programming language, using action notation to do so.

Read more about this topic:  Action Semantics

Famous quotes containing the words key and/or aspects:

    Experience has shown that the trade of the East is the key to national wealth and influence.
    Chester A. Arthur (1829–1886)

    An atheist may be simply one whose faith and love are concentrated on the impersonal aspects of God.
    Simone Weil (1909–1943)