论文信息 - P-TAC: a parallel intermediate language

P-TAC: a parallel intermediate language

P-TAC is an intermediate-level language designed to capture the sharing of computation. It is a more suitable internal language for functional language compilers than the X-calculus or combinators, especially for compiler optimize, tions. Using P-TAC, a proof for the confluence of Id, a higher-order functional language augmented with I-structures? is given. Using the notion of observational congruence the correctness of some compiler optimizations is shown.

Zena M. Ariola | Arvind

[1] Marko C. J. D. van Eekelen,et al. Towards an Intermediate Language based on Graph Rewriting , 1987, PARLE.

[2] Simon L. Peyton Jones,et al. FLIC—a functional language intermediate code , 1988, SIGP.

[3] Arvind,et al. Future Scientific Programming on Parallel Machines , 1988, J. Parallel Distributed Comput..

[4] K. R. Traub,et al. Sequential implementation of lenient programming languages , 1988 .

[5] Marko C. J. D. van Eekelen,et al. Term Graph Rewriting , 1987, PARLE.

[6] K. R. Traub,et al. A COMPILER FOR THE MIT TAGGED-TOKEN DATAFLOW ARCHITECTURE , 1986 .

[7] Albert R. Meyer,et al. Semantical paradigms: notes for an invited lecture , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[8] Thomas Johnsson,et al. Lambda Lifting: Treansforming Programs to Recursive Equations , 1985, FPCA.

[9] Stephen K. Skedzielewski,et al. Data Flow Graph Optimization in IF1 , 1985, FPCA.

[10] Arvind,et al. Programming Generality and Parallel Computers , 1988 .

[11] Arvind,et al. Executing a Program on the MIT Tagged-Token Dataflow Architecture , 1990, IEEE Trans. Computers.

[12] Keshav Pingali,et al. I-structures: Data structures for parallel computing , 1986, Graph Reduction.

[13] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .