Abstract:
The Constraint Imperative Programming (CIP) family of languages integrates constraints and imperative, object-oriented programming. In addition to combining the useful features of both paradigms, there are synergistic effects of this integration, such as the ability to define constraints over user-defined domains. We discuss characteristics of the CIP family and provide a rationale for its creation. The synergy of constraints and objects imposes additional challenges for the provision of constructs, such as object identity and class membership, that are well-understood in conventional language paradigms. We discuss the benefits and challenges of combining the constraint and imperative paradigms, and present our current ideas in the context of the design and implementation of the Kaleidoscope'93 language.
Citations
|
1138
|
Smalltalk-80: The Language and Its Implementation
– Goldberg, Robson
- 1983
|
|
710
|
The semantics of constraint logic programs
– Jaffar, Maher, et al.
- 1998
|
|
452
|
An Abstract Prolog Instruction Set
– Warren
- 1983
|
|
346
|
Constraint satisfaction in Logic programming
– Hentenryck
- 1989
|
|
265
|
The CLP(R) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
262
|
An introduction to PROLOGIII
– Colmerauer
- 1990
|
|
177
|
Concurrent Constraint Programming Languages
– Saraswat
- 1993
|
|
148
|
Object-oriented multi-methods in Cecil
– Chambers
- 1992
|
|
130
|
M.: Constraint hierarchies
– Borning, Freeman-Benson, et al.
- 1992
|
|
109
|
An incremental constraint solver
– Freeman-Benson, Maloney, et al.
- 1990
|
|
85
|
Constraint logic programming languages
– Cohen
- 1990
|
|
81
|
Multi-way versus One-way Constraints in User Interfaces: Experience with the DeltaBlue Algorithm
– Sannella, Freeman-Benson, et al.
- 1992
|
|
73
|
Common LISP: The Language
– Jr
- 1984
|
|
68
|
Constraint satisfaction using constraint logic programming
– Hentenryck, Simonis, et al.
- 1992
|
|
66
|
Hierarchical Constraint Logic Programming
– Wilson, Borning
- 1993
|
|
38
|
The SkyBlue Constraint Solver
– Sannella
- 1993
|
|
35
|
Constraint Programming Languages
– Leler
- 1988
|
|
30
|
Integrating constraints with an object-oriented Language
– Freeman-Benson, A
- 1992
|
|
27
|
The design and implementation of Kaleidoscope'90: A constraint imperative programming language
– Freeman-Benson, Borning
- 1992
|
|
23
|
Constraint Imperative Programming
– Freeman-Benson
- 1991
|
|
15
|
Constrained patterns as a basis for object-oriented constraint programming
– Horn
- 1992
|
|
10
|
The Definition and Implementation of a Computer Programming Language Based on Constraints
– Jr
- 1980
|
|
9
|
Properties of user interface systems and the Siri programming language
– Horn
- 1992
|
|
6
|
Mehmet Dincbas. Constraint satisfaction using constraint logic programming
– Hentenryck, Simonis
- 1992
|
|
1
|
An introduction to Prolog III
– Colmcraucr
- 1990
|
|
1
|
Constraint Programming Languages
– Lclcr
- 1987
|
|
1
|
The SkyBlue Constraint Solver
– Sannclla
- 1993
|
|
1
|
Constraint Satisfaction in Logic Programming
– Hcntcnryck
- 1989
|