Automatic generation of provably correct parallelizing compilers

Proceedings of the International Conference on Parallel Processing

Volumn , Issue , 1998, Pages 579-586

  Gupta, Gopal ^a   Pontelli, Enrico ^a   Lara Rodriguez, Amado ^a   Felix Cardenas, Roberto ^a  

^a New Mexico State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; PROGRAM INTERPRETERS; SEMANTICS; SPECIFICATIONS; SYNTACTICS;

AUTOMATIC GENERATION; DEFINITE CLAUSE GRAMMARS; DENOTATIONAL SEMANTICS; DIOPHANTINE EQUATION; PARALLELIZING; PARALLELIZING COMPILER; SEMANTIC SPECIFICATION; SEQUENTIAL PROGRAMS;

PROGRAM COMPILERS;

EID: 84962466991     PISSN: 01903918     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPP.1998.708532     Document Type: Conference Paper

References (18)

1. M. Felleisen, R. Cartwright. A Semantic Foundation for Program Optimization. Internal Report, Rice Univ. 1988.
2. J. Ringstrom et al. Generating an Efficient Compiler for a Data Parallel Language from a Denotational Specification, Springer, LNCS, 786, pp. 248-262, 1994.
3. G. Gupta. Horn Logic Denotations and Their Applications. Technical Report, NMSU, Dec. 1997.
4. K. Marriott, P. Stuckey, Constraint Programming. MIT Press, 1998.
5. N. Jones. Introduction to Partial Evaluation. In ACM Computing Surveys. 28(3):480-503.
6. W. Kelly, W. Pugh. A Unifying Framework for Iteration Reordering Transformations. CS-TR-3430, Univ. of Maryland, 1995.
7. J-L. Lauriere. A Language and a Program for Stating and Solving Combinatorial Problems. Artificial Intelligence, 10(1):29-127, 1978.
8. R. Parsons. A Rewriting Semantics for Program Dependence Graphs. 16th POPL, ACM Press, 1989.
9. W. Li, K. Pingali. A Singular Loop Transformation Framework based on Nonsingular Matrices. In Int'l J. of Parallel Prog., 22(2), 1994.
10. E. Pontelli, G. Gupta. Parallel Symbolic Computation with ACE. In Annals of AI and Mathematics. Dec. 97. (Summary in http://www.cs.nmsu.edu/lldap/ace/ace.html).
11. K. Psarris, et al. The Direction Vector I Test. IEEE Trans. on Par. and Distr. Sys., 4(11), 1993.
12. K. Psarris, et al. The I Test: An Improved Dependence Test for Automatic Parallelization. IEEE Trans. on Par. and Distr. Sys., 2(3), 1991.
13. D. Sahlin. An Automatic Partial Evaluator for Full Prolog. Ph.D. Thesis. 1994. Royal Institute of Technology, Sweden.
14. D. Schmidt. Denotational Semantics: a Methodology for Language Development. W.C. Brown Publishers, 1986.
15. L. Sterling & S. Shapiro. The Art of Prolog. MIT Press, '94.
16. P. van Hentenryck. Constraint Handling in Prolog. MIT Press, 1988.
17. P. van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. Proc. Int. Conf. on Logic Prog., MIT Press, 1989.
18. M. Wolfe. High Performance Compiler for Parallel Computing, Addison Wesley, 1996.