Relating graph and term rewriting via Böhm models-Reference-Cited by-同舟云学术

Relating graph and term rewriting via Böhm models

Published:1996-09 Issue:5 Volume:7 Page:401-426
ISSN:0938-1279
Container-title:Applicable Algebra in Engineering, Communication and Computing
language:en
Short-container-title:AAECC

Author:

Ariola Zena M.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF01293598.pdf

Reference36 articles.

1. Ariola, Z. M.: An Algebraic Approach to the Compilation and Operational Semantics of Functional Languages with I-structures. PhD thesis, MIT Technical Report TR-544, 1992

2. Ariola, Z. M., Arvind, P-TAC: A parallel intermediate language. In: Proc. ACM Conference on Functional Programming Languages and Computer Architecture, London, September 1989

3. Ariola, Z. M., Arvind: Compilation of Id. In: Proc of the Fourth Workshop on Languages and Compilers for Parallel Computing, Santa Clara, California. Lecture Notes in Computer Science vol. 589. Berlin, Heidelberg, New York: Springer August 1991

4. Ariola, Z. M., Arvind: A syntactic approach to program transformations. In: Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, Yale University, New Haven, CT, June 1991

5. Ariola, Z. M. Arvind: Graph rewriting systems for efficient compilation. In: Sleep, M. R. Plasmeijer, M. I., van Eekelen, M. C. D. J., (eds) Term Graph Rewriting: Theory and Practice, pp 77–90. New York: John Wiley 1993

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

1. Skew and ω-Skew Confluence and Abstract Böhm Semantics;Processes, Terms and Cycles: Steps on the Road to Infinity;2005

2. Böhm-Like Trees for Term Rewriting Systems;Rewriting Techniques and Applications;2004

3. Skew confluence and the lambda calculus with letrec;Annals of Pure and Applied Logic;2002-10

4. Lambda Calculus with Explicit Recursion;Information and Computation;1997-12

5. Cyclic lambda calculi;Lecture Notes in Computer Science;1997