Gus Lopez, Bjorn Freeman-Benson, and Alan Borning Department of Computer...  Home/Search
Context Related
| washington.edu/tr/...CSE930904.PS.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: justresearch.com/Programm...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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 userdefined 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... (Update)
Context of citations to this paper: More
.... to get the right behavior or the preferred result [17] Constraints can even be used in combination with imperative programming languages [18]. Constraint based and visual programming can also be combined to specify OPS5 like rewrite rules [19] 2.2 Rewrite Rules A rewrite...
Cited by: More
Turtle: A Constraint Imperative Programming Language - Grabmüller, Hofstedt (2003) (Correct)
Implementing Constraint Imperative Languages with Higher-Order.. - Grabmüller (2003) (Correct)
The Constraint Imperative Programming Language Turtle - Grabmüller (2003) (Correct)
Similar documents (at the sentence level):
79.7%: Kaleidoscope: A Constraint Imperative Programming Language - Lopez, Freeman-Benson.. (1994) (Correct)
Active bibliography (related documents): More All
0.6: Multi-way versus One-way Constraints in User.. - Sannella.. (1993) (Correct)
0.5: Hierarchical Constraint Logic Programming - Wilson, Borning (1993) (Correct)
0.4: The Design and Implementation of Kaleidoscope'90, A.. - Freeman-Benson, Borning (1992) (Correct)
Similar documents based on text: More All
0.6: Implementing Constraint Imperative Programming.. - Lopez.. (1994) (Correct)
0.5: Constraints and Object Identity - Lopez, Freeman-Benson, Borning (1994) (Correct)
0.4: Mediators: Easing the Design and Evolution of Integrated Systems .. - Sullivan (1997) (Correct)
Related documents from co-citation: More All
4: Constraint imperative programming (context) - Freeman-Benson - 1991
4: or how first order logic can help us in imperative programming (context) - Apt, Schaerf et al. - 1999
3: Constraint Programming Languages (context) - Leler - 1988
BibTeX entry: (Update)
Gus Lopez, Bjorn Freeman-Benson, Alan Borning. Kaleidoscope : A Constraint Imperative Programming Language. Constraint Programming, B. Mayoh, E. Tougu, J. Penjam (Eds.), NATO Advanced Science Institute Series, Series F: Computer and System Sciences, Springer-Verlag, 1993. http://citeseer.ist.psu.edu/article/lopez93kaleidoscope.html More
@inproceedings{ lopez94kaleidoscope,
author = "Guy Lopez and Bjorn Freeman-Benson and Alan Borning",
title = "Kaleidoscope: {A} Constraint Imperative Programming Language",
booktitle = "Constraint Programming: Proceedings 1993 {NATO} {ASI} Parnu, Estonia",
publisher = "Springer",
editor = "B. Mayoh and E. Tyugu and J. Penjaam",
isbn = "3-540-57859-5",
pages = "305--321",
year = "1994",
url = "citeseer.ist.psu.edu/article/lopez93kaleidoscope.html" }
Citations (may not include all citations):484 Common Lisp: The Language (context) - Jr - 1990 ACM
395 An abstract prolog instruction set (context) - Warren - 1983
380 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989 ACM
261 An introduction to Prolog III (context) - Colmerauer - 1990 ACM DBLP
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
221 Constraint logic programming (context) - Jaffar, Lassez - 1987 ACM DBLP
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
124 Object-Oriented Multi-Methods in Cecil - Chambers - 1992 ACM DBLP
100 An incremental constraint solver (context) - Freeman-Benson, Maloney et al. - 1990 ACM DBLP
96 Lisp and Symbolic Computation (context) - Borning, Freeman-Benson et al. - 1992
82 Constraint logic programming languages (context) - Cohen - 1990 ACM DBLP
76 Multi-way versus One-way Constraints in User Interfaces: Exp.. - Sannella, Maloney et al. - 1993 DBLP
50 Hierarchical constraint logic programming - Wilson, Borning - 1993 ACM DBLP
49 Constraint satisfaction using constraint logic programming (context) - Van Hentenryck, Simonis et al. - 1992 ACM DBLP
36 Integrating constraints with an object-oriented language (context) - Freeman-Benson, Borning - 1992 ACM DBLP
32 Constraint Programming Languages (context) - Leler - 1987 DBLP
28 Concurrent Constraint Programming Languages (context) - Saraswat - 1989 ACM
17 Department of Computer Science and Engineering (context) - Sannella, Constraint et al. - 1993
14 The Definition and Implementation of a Computer Programming .. (context) - Jr - 1980 ACM
11 a constraint imperative programming language (context) - Freeman-Benson, Borning et al. - 1992
10 Properties of user interface systems and the Siri programmin.. (context) - Horn - 1992 ACM
8 Published as Department of Computer Science and Engineering .. (context) - Freeman-Benson, Programming et al. - 1991
5 Constraint patterns as a basis for object-oriented constrain.. (context) - Horn - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cora.justresearch.com/Programming/Object_Oriented/index.html): More
An Efficient Semaphore Implementation Scheme for Small-Memory.. - Khawar Zuberi (1997) (Correct)
Using Visualization to Foster Object-Oriented Program.. - Jerding, Stasko (1994) (Correct)
What is "Object-Oriented Programming"? - Stroustrup (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC