A common intermediate language and its use in partitioning concurrent declarative programs-Reference-Cited by-同舟云学术

A common intermediate language and its use in partitioning concurrent declarative programs

Published:1996-09 Issue:3 Volume:14 Page:281-315
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Ariola Z. M.,Massey B. C.,Sami M.,Tick E.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

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

Reference35 articles.

1. Ariola, Z. M., “An Algebraic Approach to the Compilation and Operational Semantics of Functional Languages with I-Structures,”Ph.D. thesis, Harvard University, June 1992.

2. Ariola, Z. M. and Arvind, “P-TAC: A Parallel Intermediate Language,”in Conference on Functional Programming Languages and Computer Architecture, London, ACM Press, pp. 230–242, September 1989.

3. Ariola, Z. M. and Arvind, “A Syntactic Approach to Program Transformation,”in ACM SIGPLAN Symposium on Parallel Evaluation and Semantics Based Program Manipulation, New Haven, June 1991, Yale University, ACM Press, pp. 116–129, 1991.

4. Ariola, Z. M. and Arvind, “Graph Rewriting Systems for Efficient Compilation,” inTerm Graph Rewriting: Theory and Practice, John Wiley and Sons, pp. 77–90, 1993.

5. Technical Report;Arvind,1993

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

1. Inferring non-suspension conditions for logic programs with dynamic scheduling;ACM Transactions on Computational Logic;2008-06

2. Weakest-precondition of unstructured programs;ACM SIGSOFT Software Engineering Notes;2006-01