Compilation of constraint systems to procedural parallel programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1239, Issue , 1997, Pages 501-518

  John, Ajita ^a   Browne, J C ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATRIX ALGEBRA; PROGRAM COMPILERS; SPECIFICATION LANGUAGES;

CONSTRAINT SPECIFICATION LANGUAGES; CONSTRAINT SYSTEMS; DEPENDENCE GRAPHS; EXECUTION ENVIRONMENTS; MATRIX COMPUTATION; NUMERICAL COMPUTATIONS; PARALLEL COMPUTATION; PROCEDURAL LANGUAGES;

C (PROGRAMMING LANGUAGE);

EID: 84957714306     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0017272     Document Type: Conference Paper

References (16)

1. Doug Baldwin. A status report on consul. In Nicolau Gelernter and Padua, editors, Languages and Compilers for Parallel Computing. MIT Press, 1990.
2. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1989.
3. K.M. Chandy and S. Taylor. An Introduction to Parallel Programming. Jones and Bartlett, 1992.
4. T.S. Collins and J.C Browne. Matrix++: An object-oriented environment for parallel high-perfomance matrix computations. In Proc. of the Hawaii Intl. Conf. on Systems and Software, 1995.
5. J.J. Dongarra and D.C. Sorenson. Schedule: Tools for developing and analyzing parallel fortran programs. Technical Report 86, Argonne National Laboratory, November 1986.
6. I. Foster and S. Taylor. Strand: New Concepts in Parallel Programming. Prentice Hall, 1990.
7. Ian Foster. Designing and Building Parallel Programs. Addison-Wesley, 1995.
8. B. Freeman-Benson and Alan Borning. The design and implementation of kaleidoscope '90, a constraint imperative programming language. In Computer Languages, pages 174-180. IEEE Computer Society, April 1992.
9. Bjorn N. Freeman-Benson. A module compiler for thinglab ii. In Proc. 1989 ACM Conf. on Object-Oriented Programming Systems, Languages, and Applications, October 1989.
10. Al Geist, Adam Beguelin, Jack Dongarra, Weicheng Jiang, Robert Manchek, and Vaidy Sunderam. PVM: Parallel Virtual Machine:A Users' Guide and Tutorial for Networked Parallel Computing. MIT Press, 1994.
11. Ajita John and J.C. Browne. Extraction of parallelism from constraint specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume 3, pages 1501-1512, August 1996.
12. S. Lakshmivarahan and Sudarshan K. Dhall. Analysis and Design of Parallel Algorithms: Arithmetic and Matrix Problems. Supercomputing and Parallel Processing. McGraw-Hill, 1990.
13. Michael Mehl, Ralf Scheidhauer, and Christian Schulte. An abstract machine for oz. In Programming Languages, Implementations, Logics and Programs, Seventh Intl. Symposium, LNCS, number 982. Springer-Verlag, September 1995.
14. P. Newton and J. C. Browne. The code 2.0 graphical parallel programming environment. In Proc. of the Intl. Conf. on Supercomputing, pages 167-177, 1992.
15. Harvey Richardson. High performance fortran: History, overview and current developments. Technical Report TMC 261, Thinking Machines Corporation.
16. Vijay A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie Mellon, School of Computer Science, Pittsburgh, 1989.