Searching for "From Operational to Denotational Semantics." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
From Operational to Denotational Semantics
- …From Operational to Denotational Semantics Scott F. Smith Department of Computer Science The Johns…
- Cited by 18 (6 self) – Add To MetaCart
-
Compositional Relational Semantics for Indeterminate Dataflow Networks
- …" in the sense that the mapping from operational to denotational semantics preserves the operations by which…
- Cited by 18 (5 self) – Add To MetaCart
-
On Excusable and Inexcusable Failures - Towards an Adequate Notion of Translation Correctness
- … for the translation is interpreted in terms of the operational semantics. From the operational semantics, the more…
- Cited by 3 (1 self) – Add To MetaCart
-
On the Translation of Procedures to Finite Machines
- … forever. R(#) can be thought to be derived from an operational or denotational semantics. An example…
- Add To MetaCart
Showing 1 through 4.
