RML — A new language and implementation for Natural Semantics-Reference-Cited by-同舟云学术

RML — A new language and implementation for Natural Semantics

Published:1994 Issue: Volume: Page:117-131
ISSN:0302-9743
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Pettersson Mikael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58402-1_10.pdf

Reference24 articles.

1. Hassan Aït-Kaci. Warren's Abstract Machine: A Tutorial Reconstruction. The MIT Press, 1991.

2. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.

3. Andrew W. Appel and Trevor Jim. Continuation-passing, closure-passing style. In Proc. POPL'89, pages 293–302. ACM Press, 1989.

4. Isabelle Attali. Compiling TYPOL with attribute grammars. In Proc. PLILP'88, LNCS 348, pages 252–272. Springer-Verlag, 1988.

5. Isabelle Attali and Jacques Chazarain. Functional evaluation of natural semantics specifications. In Proc. WAG A'90, LNCS 461. Springer-Verlag, 1990.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages;Electronic Proceedings in Theoretical Computer Science;2022-09-19

2. Using XML Transformations for Enterprise Architectures;Leveraging Applications of Formal Methods;2006

3. A Rule Markup Language and Its Application to UML;Leveraging Applications of Formal Methods;2006

4. Evolution of rule-based programs;The Journal of Logic and Algebraic Programming;2004-07

5. A compiler for natural semantics;Lecture Notes in Computer Science;1996