MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Operational Semantics and Program Equivalence." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Operational Semantics and Program Equivalence
by Andrew M. Pitts — 2000 — INRIA Sophia Antipolis, 2000. Lectures at the International Summer School On Applied Semantics, APPSEM 2000, Caminha, Minho
…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
by Luc Bouge, Ecole Normale, Suprieure Lyon, Adresses Lectroniques, Jean-luc Levaire, Jean-luc Levaire — 1992
… Semantics, Program Equivalence, Multitype conditioning, Massively Parallel Programming Methodology. R…
Cited by 16 (6 self) – Add To MetaCart

Putting Declarative Meta Control to Work
by Apollo Hogan, Reinhard Stolle, Elizabeth Bradley — 1998
…-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
by Manfred Schmidt-schauss, David Sabel
… syntax, the operational semantics, and the program equivalence based on contextual equivalence…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB