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:

    As soon as you are in a social setting, you better take away the key to the lock of your heart and pocket it; those who leave the key in the lock are fools.
    Johann Wolfgang Von Goethe (1749–1832)

    The happiest two-job marriages I saw during my research were ones in which men and women shared the housework and parenting. What couples called good communication often meant that they were good at saying thanks to one another for small aspects of taking care of the family. Making it to the school play, helping a child read, cooking dinner in good spirit, remembering the grocery list,... these were silver and gold of the marital exchange.
    Arlie Hochschild (20th century)