ORBIT: an optimizing compiler for scheme
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Static inference of modes and data dependencies in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional computations in logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
LIPS on MIPS: results from Prolog compiler for a RISC
Logic programming
A methodology for managing hard constraints in CLP systems
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The benefits of global dataflow analysis for an optimizing Prolog compiler
Proceedings of the 1990 North American conference on Logic programming
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
The 3 R's of optimizing constraint logic programs: refinement, removal and reordering
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantics of constraint logic programs with optimization
ACM Letters on Programming Languages and Systems (LOPLAS)
Backtracking without trailing in CLP (RLin)
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Backtracking without trailing in CLP ( RLin )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Optimizing compilation of CLP( R )
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint Programming: Strategic Directions
Constraints
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
An improved proof-theoretic compilation of logic programs
Theory and Practice of Logic Programming
| Hi-index | 0.00 |
An abstract machine is described for the CLP( R ) programming language. It is intended as a first step toward enabling CLP( R ) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.