P-TAC: a parallel intermediate language
- 1 January 1989
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 230-242
- https://doi.org/10.1145/99370.99388
Abstract
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.Keywords
This publication has 0 references indexed in Scilit: