Searching for "Natural Semantics." – sorted by Relevance.
1,275 documents found, showing 1 through 10.
Next 10 →
-
Encoding Natural Semantics in Coq
- …Encoding Natural Semantics in Coq Delphine Terrasse INRIA Sophia-Antipolis, 2004 Route des…
- Cited by 7 (0 self) – Add To MetaCart
-
Compiling Natural Semantics Into ML
- …Compiling Natural Semantics Into ML Richard Gayraud and Catherine Dubois LaMI, Universit'e d…
- Add To MetaCart
-
A Compiler for Natural Semantics
- … Science, Linkoping University, S-581 83 Linkoping, Sweden A Compiler for Natural Semantics Mikael…
- Cited by 23 (2 self) – Add To MetaCart
-
Natural Semantics for a Mobile Robot
- … of Massachusetts, Amherst MA 01003 cbeal@(email omitted); Natural Semantics for a Mobile Robot March 29, 1999…
- Cited by 7 (1 self) – Add To MetaCart
-
Natural Semantics for Non-Determinism
- …Natural Semantics for Non-Determinism Andrew Moran Department of Computing Science Chalmers…
- Cited by 2 (0 self) – Add To MetaCart
-
Functional Evaluation Of Natural Semantics Specifications
- …FUNCTIONAL EVALUATION OF NATURAL SEMANTICS SPECIFICATIONS 1 EVALUATION FONCTIONNELLE DE…
- Cited by 4 (3 self) – Add To MetaCart
-
Incremental Evaluation of Natural Semantics Specifications
- …Incremental Evaluation of Natural Semantics Specifications Isabelle Attali INRIA Sophia…
- Cited by 6 (1 self) – Add To MetaCart
-
A Natural Semantics for Lazy Evaluation
- …A Natural Semantics for Lazy Evaluation John Launchbury Computing Science Department Glasgow…
- Add To MetaCart
-
Integrating Natural Semantics and Attribute Grammars: the Minotaur System
- … AUTOMATIQUE Integrating Natural Semantics and Attribute Grammars: the Minotaur System Isabelle Attali…
- Cited by 6 (1 self) – Add To MetaCart
-
Natural semantics as a static program analysis framework
- …Natural Semantics as a Static Program Analysis Framework SABINE GLESNER Universität Karlsruhe…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
