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:

    “‘The key is in the window, the key is in the sunlight at the
    window—I have the key—Get married Allen don’t take drugs—the key is in the bars, in the sunlight in the window.
    Love,
    your mother’”
    —Allen Ginsberg (b. 1926)

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