Describing Relationships
For a variety of reasons, one might wish to describe the relationships between different formal semantics. For example:
- To prove that a particular operational semantics for a language satisfies the logical formulas of an axiomatic semantics for that language. Such a proof demonstrates that it is "sound" to reason about a particular (operational) interpretation strategy using a particular (axiomatic) proof system.
- To prove that operational semantics over a high-level machine is related by a bisimulation with the semantics over a low-level machine, whereby the low-level abstract machine contains more primitive operations than the high-level abstract machine definition of a given language. Such a proof demonstrates that the low-level machine "faithfully implements" the high-level machine.
It is also possible to relate multiple semantics through abstractions via the theory of abstract interpretation.
Read more about this topic: Semantics (computer Science)
Famous quotes containing the word describing:
“I am not describing a distant utopia, but the kind of education which must be the great urgent work of our time. By the end of this decade, unless the work is well along, our opportunity will have slipped by.”
—Lyndon Baines Johnson (1908–1973)