MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Kaleidoscope: A Constraint Imperative Programming Language (1994) [14 citations — 2 self]

by Gus Lopez ,  Gus Lopez ,  Alan Borning ,  Alan Borning ,  Bjorn Freeman-benson ,  Bjorn Freeman-benson
Add To MetaCart

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