Specification and generation of constraint satisfaction systems
Specification and generation of constraint satisfaction systems
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Geometric programming: a programming approach to geometric design
ACM Transactions on Graphics (TOG)
Hi-index | 0.01 |
In a typical algorithmic language such as Fortran or Pascal a program is a sequence of steps for the language interpreter to follow to achieve a desired result. In a constraint language a program is a set of relationships, called constraints, that describe the desired result. It is up to the language interpreter to determine the steps required to satisfy the constraints and achieve the result.