Searching for "The Expressive Power of "Possible-is-Certain" Semantics (Extended Abstract)." – sorted by Relevance.
13,809 documents found, showing 1 through 10.
Next 10 →
-
Full Abstraction in Structural Operational Semantics (Extended Abstract)
- …Full Abstraction in Structural Operational Semantics (extended abstract) Rob van Glabbeek…
- Cited by 17 (3 self) – Add To MetaCart
-
Coercive subtyping and lexical semantics (Extended Abstract)
- …Coercive subtyping and lexical semantics (Extended Abstract) Zhaohui Luo and Paul Callaghan…
- Cited by 6 (5 self) – Add To MetaCart
-
Modularity in structural operational semantics. Extended abstract
- …Modularity in Structural Operational Semantics (Extended Abstract) Peter D. Mosses 1 Computer…
- Cited by 3 (0 self) – Add To MetaCart
-
Possible-translations semantics (extended abstract
- …Possible-Translations Semantics (Extended Abstract) João Marcos 1,2,3∗ http…
- Cited by 1 (1 self) – Add To MetaCart
-
Bi-inductive Structural Semantics (Extended Abstract)
- …Abstract SOS 2007 Bi-inductive Structural Semantics (Extended Abstract) Patrick Cousot 1…
- Add To MetaCart
-
Adding Superimposition To a Language Semantics (Extended Abstract)
- …. Semantic functions are speci- — Extended Abstract — Ralf 1 Lämmel 2 1 CWI, Kruislaan 413, NL-1098 SJ…
- Cited by 1 (0 self) – Add To MetaCart
-
SOS 2007 Preliminary Version Bi-inductive Structural Semantics (Extended Abstract)
- … SOS 2007 Preliminary Version Bi-inductive Structural Semantics (Extended Abstract) Patrick…
- Add To MetaCart
-
On the Expressive Power of Programming Languages
- …On the Expressive Power of Programming Languages Matthias Felleisen Department of Computer…
- Cited by 102 (4 self) – Add To MetaCart
-
The Expressive Power of SPARQL
- … standard compositional semantics for the whole SPARQL. Thirdly, we compare the expressive power of SPARQL…
- Add To MetaCart
-
On the expressive power of Constructor Classes
- …On the expressive power of Constructor Classes Luc Duponcheel Vakgroep Informatika, Rijks…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
