Aug 20, 1991 · Abstract. Operational semantics provide a simple, high-level and elegant means of specifying inter- preters for programming languages.
Jun 9, 2005 · Natural semantics, a form of operational semantics, provides a high-level and elegant means of specifying interpreters for programming ...
Natural semantics, a form of operational semantics, provides a high-lcvcl and el- egant means of specifying interpreters for programming languages. In this ...
Natural Semantics and Some of Its Meta-Theory in Elf · Contents. ELP '99: Proceedings of the Second International Workshop on Extensions of Logic Programming.
TL;DR: This paper investigates the use of the logic programming language Elf to implement and reason about natural semantics, and gives type checking rules ...
Get details about the chapter of Natural semantics and some of its meta-theory in Elf from book Extensions of Logic Programming: Second International ...
Natural Semantics and Some of Its Meta-Theory in Elf · S. MichaylovF. Pfenning. Computer Science. ELP. 1991. TLDR. This paper investigates the use of the logic ...
... Natural Semantics and Some of Its Meta-Theory in Elf ... Natural, 593(0)257, 593(0)425, 607(0)668, 607(0)716, 617(0)477, 624(0)190, 624 ... Theory, Meta-, 607(0) ...
Extended natural semantics | Journal of Functional Programming
www.cambridge.org › journals › article
Natural semantics and some of its meta-theory in Elf. In Hallnäs, L., editor, Extensions of Logic Programming, Springer-Verlag LNCS 596, 299–344. (A ...
Natural semantics and some of its meta-theory in Elf. In L.-H. Eriksson, L. Halln"as, and P. Schroeder-Heister, editors, Proceedings of the Second ...