Searching for "Operational Semantics and Program Equivalence." – sorted by Relevance.
-
Operational Semantics and Program Equivalence
- Operational Semantics and Program Equivalence Andrew M. Pitts Cambridge University Computer
- Cited by 24 (4 self) – Add To MetaCart
-
Control structures for data-parallel SIMD languages: semantics and implementation
- Semantics, Program Equivalence, Multitype conditioning, Massively Parallel Programming Methodology. R
- Cited by 16 (6 self) – Add To MetaCart
-
Putting Declarative Meta Control to Work
- -level theory. Moreover, operational semantics of the program are equivalent to the declarative semantics
- Cited by 1 (1 self) – Add To MetaCart
-
Safety of Nöcker’s strictness analysis
- syntax, the operational semantics, and the program equivalence based on contextual equivalence
- Add To MetaCart

