Equational logic as a programming language
Equational logic as a programming language
Advanced compiler optimizations for supercomputers
Communications of the ACM - Special issue on parallelism
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Solving problems on concurrent processors. Vol. 1: General techniques and regular problems
Parcel: project for the automatic restructuring and concurrent evaluation of LISP
ICS '88 Proceedings of the 2nd international conference on Supercomputing
Parallel program design: a foundation
Parallel program design: a foundation
Guide to parallel programming on Sequent computer systems: 2nd edition
Guide to parallel programming on Sequent computer systems: 2nd edition
Selected papers of the second workshop on Languages and compilers for parallel computing
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
Parallel functional languages and compilers
Parallel functional languages and compilers
An introduction to parallel programming
An introduction to parallel programming
The CODE 2.0 graphical parallel programming language
ICS '92 Proceedings of the 6th international conference on Supercomputing
Loop Parallelization
Analysis and Design of Parallel Algorithms: Arithmetic and Matrix Problems
Analysis and Design of Parallel Algorithms: Arithmetic and Matrix Problems
Compilation of Constraint Systems to Procedural Parallel Programs
LCPC '96 Proceedings of the 9th International Workshop on Languages and Compilers for Parallel Computing
Event-based Composition of Concurrent Programs
Proceedings of the 6th International Workshop on Languages and Compilers for Parallel Computing
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
MaTRiX+/sup +/: an object-oriented environment for parallel high-performance matrix computations
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
CC++: A Declarative Concurrent Object Oriented Programming Notation
CC++: A Declarative Concurrent Object Oriented Programming Notation
Concurrent constraint programming languages
Concurrent constraint programming languages
An extended ANSI C for processors with a multimedia extension
International Journal of Parallel Programming
A computational infrastructure for reliable computer simulations
ICCS'03 Proceedings of the 2003 international conference on Computational science
| Hi-index | 0.00 |
This paper reports on a compiler for translation of constraint specifications into procedural parallel programs. A constraint program in our system consists of a set of constraints and an input set containing a subset of the variables appearing in the constraints. The compiler described in this paper successfully compiles a substantially larger class of constraint specifications to efficient programs than did its predecessors. In particular the compiler has been extended to generate processor and memory efficient programs for cyclic constraints which can be resolved by computational relaxation methods. The paper first details the basic compilation process for noncyclic constraints. It then describes the additional steps in the compilation process which enable resolution of cyclic constraints to iterative computational processes and illustrates the process using derivation of a parallel program for solution of the Laplace equation as the example.