{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:25Z","timestamp":1725465865796},"publisher-location":"Berlin\/Heidelberg","reference-count":39,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540556680"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0053042","type":"book-chapter","created":{"date-parts":[[2006,6,6]],"date-time":"2006-06-06T23:48:54Z","timestamp":1149637734000},"page":"268-286","source":"Crossref","is-referenced-by-count":30,"title":["Integrating constraints with an object-oriented language"],"prefix":"10.1007","author":[{"given":"Bjorn N.","family":"Freeman-Benson","sequence":"first","affiliation":[]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"P. Avesani, A. Perini, and F. Ricci. COOL: An Object System with Constraints. In TOOLS 2, June 1990."},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1145\/22949.22951","volume":"5","author":"P. Barth","year":"1986","unstructured":"Paul Barth. An Object-Oriented Approach to Graphical Interfaces. ACM Transactions on Graphics, 5(2):142\u2013172, April 1986.","journal-title":"ACM Transactions on Graphics"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Eric A. Bier and Maureen C. Stone. Snap-Dragging. In Proceedings of SIGGRAPH'86, Dallas, Texas, August 1986. Also in Computer Graphics 20(4), August 1986.","DOI":"10.1145\/15886.15912"},{"key":"16_CR4","unstructured":"Alan Borning, Michael Maher, Amy Martindale, and Molly Wilson. Constraint Hierarchies and Logic Programming. In Proceedings of the Sixth International Conference on Logic Programming, pages 149\u2013164, Lisbon, June 1989."},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. H. Borning","year":"1981","unstructured":"Alan H. Borning. The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory. ACM Transactions on Programming Languages and Systems, 3(4):353\u2013387, October 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR6","first-page":"234","volume-title":"Multiple Inheritance in Smalltalk-80","author":"A. H. Borning","year":"1982","unstructured":"Alan H. Borning and Danial H. H. Ingalls. Multiple Inheritance in Smalltalk-80. In Proceedings of the National Conference on Artificial Intelligence, pages 234\u2013237, Pittsburgh, Pennsylvania, August 1982. American Association for Artificial Intelligence."},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Timothy A. Budd. Blending Imperative and Relational Programming. IEEE Software, 8(1), January 1991.","DOI":"10.1109\/52.62933"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Timothy A. Budd. Multiparadigm Data Structures in Leda. In Proceedings of the IEEE Computer Society 1992 International Conference on Computer Languages, April 1992.","DOI":"10.1109\/ICCL.1992.185479"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Craig Chambers. Object-Oriented Multi-Methods in Cecil. In Proceedings of the European Conference on Object-Oriented Programming, July 1992.","DOI":"10.1007\/BFb0053029"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Craig Chambers and David Ungar. Making Pure Object-Oriented Languages Practical. In Proceedings of the 1991 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 1\u201315, Phoenix, October 1991.","DOI":"10.1145\/117954.117955"},{"issue":"7","key":"16_CR11","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"Jacques Cohen. Constraint Logic Programming Languages. Communications of the ACM, 33(7):52\u201368, July 1990.","journal-title":"Communications of the ACM"},{"key":"16_CR12","first-page":"93","volume-title":"Preprints of the Second Eurographics Workshop on Object Oriented Graphics","author":"E. Cournarie","year":"1991","unstructured":"Eric Cournarie and Michel Beaudouin-Lafon. ALIEN: A Prototype-based Constraint System. In Preprints of the Second Eurographics Workshop on Object Oriented Graphics, pages 93\u2013114, Texel, The Netherlands, June 1991. To be published in revised form by Springer-Verlag."},{"key":"16_CR13","first-page":"297","volume-title":"Efficient Implementation of the Smalltalk-80 System","author":"L. P. Deutsch","year":"1984","unstructured":"L. Peter Deutsch and Allan M. Schiffman. Efficient Implementation of the Smalltalk-80 System. In Proceedings of the Eleventh Annual Principles of Programming Languages Symposium, pages 297\u2013302, Salt Lake City, Utah, January 1984. ACM."},{"key":"16_CR14","volume-title":"A Module Compiler for ThingLab II","author":"B. Freeman-Benson","year":"1989","unstructured":"Bjorn Freeman-Benson. A Module Compiler for ThingLab II. In Proceedings of the 1989 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, New Orleans, October 1989. ACM."},{"key":"16_CR15","first-page":"77","volume-title":"Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming","author":"B. Freeman-Benson","year":"1990","unstructured":"Bjorn Freeman-Benson. Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming. In Proceedings of the 1990 Conference on Object-Oriented Programming Systems, Languages, and Applications, and European Conference on Object-Oriented Programming, pages 77\u201388, Ottawa, Canada, October 1990. ACM."},{"issue":"1","key":"16_CR16","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"B. Freeman-Benson","year":"1990","unstructured":"Bjorn Freeman-Benson, John Maloney, and Alan Borning. An Incremental Constraint Solver. Communications of the ACM, 33(1):54\u201363, January 1990.","journal-title":"Communications of the ACM"},{"key":"16_CR17","volume-title":"DeltaStar: A General Algorithm for Incremental Satisfaction of Constraint Hierarchies","author":"B. Freeman-Benson","year":"1992","unstructured":"Bjorn Freeman-Benson, Molly Wilson, and Alan Borning. DeltaStar: A General Algorithm for Incremental Satisfaction of Constraint Hierarchies. In Proceedings of the Eleventh Annual IEEE Phoenix Conference on Computers and Communications, Scottsdale, Arizona, March 1992. IEEE. To appear."},{"key":"16_CR18","unstructured":"Bjorn N. Freeman-Benson. Constraint Imperative Programming. PhD thesis, University of Washington, Department of Computer Science and Engineering, July 1991. Published as Department of Computer Science and Engineering technical report 91-07-02."},{"key":"16_CR19","unstructured":"James A. Gosling. Algebraic Constraints. PhD thesis, Carnegie-Mellon University, May 1983. Published as CMU Computer Science Department tech report CMU-CS-83-132."},{"key":"16_CR20","unstructured":"Bruce Horn. A Constrained-Object Language for Reactive Program Implementation. Technical Report CMU-CS-91-152, School of Computer Science, Carnegie-Mellon University, June 1991."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Proceedings of the 14th ACM Principles of Programming Languages Conference, Munich, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"16_CR22","unstructured":"Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) Language and System. Technical Report CMU-CS-90-181, School of Computer Science, Carnegie Mellon University, October 1990. To appear in ACM Transactions on Programming Languages and Systems."},{"key":"16_CR23","first-page":"242","volume-title":"Objects in Concurrent Logic Programming Languages","author":"K. Kahn","year":"1986","unstructured":"Kenneth Kahn, Eric Tribble, Mark Miller, and Daniel Bobrow. Objects in Concurrent Logic Programming Languages. In Proceedings of the 1986 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 242\u2013257, Portland, Oregon, September 1986. ACM."},{"key":"16_CR24","unstructured":"Kenneth M. Kahn. Objects\u2014A Fresh Look. In Proceedings of the European Conference on Object-Oriented Programming, July 1990."},{"key":"16_CR25","unstructured":"Glenn Kramer, Jahir Pabon, Walid Keirouz, and Robert Young. Geometric Constraint Satisfaction Problems. In Working Notes of the AAAI Spring Symposium on Constraint-Based Reasoning, pages 242\u2013251, Stanford, March 1991."},{"key":"16_CR26","unstructured":"Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger M\u00d8ller Pedersen, and Kristen Nygaard. Object Oriented Programming in the Beta Programming Language. Draft of unpublished book, 1991."},{"key":"16_CR27","volume-title":"Abstraction Mechanisms in the BETA Programming Language","author":"B. B. Kristensen","year":"1983","unstructured":"Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger M\u00d8ller Pederson, and Kirsten Nygaard. Abstraction Mechanisms in the BETA Programming Language. In Proceedings of the Tenth Annual Principles of Programming Languages Symposium, Austin, Texas, January 1983. ACM."},{"key":"16_CR28","volume-title":"Inside Smalltalk, volume II","author":"W. R. LaLonde","year":"1991","unstructured":"Wilf R. LaLonde and John R. Pugh. Inside Smalltalk, volume II. Prentice Hall, Englewood Cliffs, NJ, 1991."},{"key":"16_CR29","unstructured":"William Leler. Constraint Programming Languages. Addison-Wesley, 1987."},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A. K. Mackworth","year":"1977","unstructured":"Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"16_CR31","unstructured":"John Maloney. Using Constraints for User Interface Construction. PhD thesis, Department of Computer Science and Engineering, University of Washington, August 1991. Published as Department of Computer Science and Engineering technical report 91-08-12."},{"issue":"11","key":"16_CR32","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/2.60882","volume":"23","author":"B. A. Myers","year":"1990","unstructured":"Brad A. Myers, Dario Guise, Roger B. Dannenberg, Brad Vander Zanden, David Kosbie, Philippe Marchal, and Ed Pervin. Comprehensive Support for Graphical, Highly-Interactive User Interfaces: The Garnet User Interface Development Environment. IEEE Computer, 23(11):71\u201385, November 1990.","journal-title":"IEEE Computer"},{"key":"16_CR33","unstructured":"Brad A. Myers, Dario Guise, Roger B. Dannenberg, Brad Vander Zanden, David Kosbie, Philippe Marchai, Ed Pervin, Andrew Mickish, and John A. Kolojejchick. The Garnet Toolkit Reference Manuals: Support for Highly-Interactive Graphical User Interfaces in Lisp. Technical Report CMU-CS-90-117, Computer Science Dept, Carnegie Mellon University, March 1990."},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Greg Nelson and Derek C. Oppen. Simplification by Cooperating Decision Procedures. In Proceedings of the Fifth ACM Symposium on Principles of Programming Languages. ACM SIGPLAN, 1978.","DOI":"10.1145\/357073.357079"},{"key":"16_CR35","unstructured":"Vijay Anand Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, Computer Science Department, January 1989."},{"key":"16_CR36","unstructured":"E. Shapiro and A. Takeuchi. Object-Oriented Programming in Concurrent Prolog. In Ehud Shapiro, editor, Concurrent Prolog: Collected Papers, volume 2, chapter 21. MIT Press, 1987."},{"key":"16_CR37","first-page":"53","volume-title":"Preprints of the Second Eurographics Workshop on Object Oriented Graphics","author":"R. C. Veltkamp","year":"1991","unstructured":"Remco C. Veltkamp. A Quantum Approach to Geometric Constraint Satisfaction. In Preprints of the Second Eurographics Workshop on Object Oriented Graphics, pages 53\u201367, Texel, The Netherlands, June 1991. To be published in revised form by Springer-Verlag."},{"key":"16_CR38","volume-title":"Lucid, the Dataflow Programming Language","author":"W. W. Wadge","year":"1985","unstructured":"William W. Wadge and Edward A. Ashcroft. Lucid, the Dataflow Programming Language. Academic Press, London, 1985."},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"Michael Wilk. Equate: An Object-Oriented Constraint Solver. In Proceedings of the 1991 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 286\u2013298, Phoenix, October 1991.","DOI":"10.1145\/117954.117976"}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201992 European Conference on Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053042.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T13:00:35Z","timestamp":1683464435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540556680"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/bfb0053042","relation":{},"subject":[]}}