A compiler for nondeterministic term rewriting systems-Reference-Cited by-同舟云学术

A compiler for nondeterministic term rewriting systems

Published:1996 Issue: Volume: Page:154-168
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Vittek Marian

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61464-8_50

Reference14 articles.

1. A. W. Appel and D. B. MacQueen. A Standard ML Compiler. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science, pages 301–324, Portland, Oregon, USA, September 14–16, 1987. Springer-Verlag.

2. L. Augustsson. Compiling pattern matching. In Proceedings 2nd Conference on Functional Programming Languages and Computer Architecture, Nancy (France), volume 201 of Lecture Notes in Computer Science, Nancy (France), 1985. Springer-Verlag.

3. K. Didrich, A. Fett, C. Gerke, W. Grieskamp, and P. Pepper. OPAL: Design and implementation of an algebraic programming language. In J. Gutknecht, editor, Programming Languages and System Architectures PLSA '94, volume 782 of Lecture Notes in Computer Science, pages 228–244. Springer-Verlag, March 1994.

4. T. Frühwirth. Constraint handling rules. In A. Podelski, editor, Constraint Programming: Basics and Trends, volume 910 of Lecture Notes in Computer Science. Springer-Verlag, March 1995.

5. C. M. Hoffmann and M. J. O'Donnell. Pattern matching in trees. Journal of the ACM, 29(1):68–95, 1982.

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

1. Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

2. A Pattern Matching Compiler for Multiple Target Languages;Lecture Notes in Computer Science;2003

3. Applying ELAN Strategies in Simulating Processors over Simple Architectures;Electronic Notes in Theoretical Computer Science;2002-12

4. The ELAN Environment:;Electronic Notes in Theoretical Computer Science;2002-07

5. A Logic for Rewriting Strategies;Electronic Notes in Theoretical Computer Science;2001-11