{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:09Z","timestamp":1725465849039},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052187","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:59:15Z","timestamp":1149652755000},"page":"260-279","source":"Crossref","is-referenced-by-count":4,"title":["Constraints and object identity"],"prefix":"10.1007","author":[{"given":"Gus","family":"Lopez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00d8rn","family":"Freeman-Benson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF01807506","volume":"5","author":"A. Borning","year":"1992","unstructured":"Alan Borning, Bjorn Freeman-Benson, and Molly Wilson. Constraint Hierarchies. Lisp and Symbolic Computation, 5(3): 223\u2013270, September 1992.","journal-title":"Lisp and Symbolic Computation"},{"issue":"9","key":"15_CR2","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. Dahl","year":"1966","unstructured":"Ole-Johan Dahl and Kristen Nygaard. SIMULA \u2014 An ALGOL-Based Simulation Language. Communications of the ACM, 9(9): 671\u2013678, September 1966.","journal-title":"Communications of the ACM"},{"issue":"1","key":"15_CR3","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":"15_CR4","unstructured":"Bjorn N. Freeman-Benson. Constraint Imperative Programming. Ph.D. 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":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bjorn Freeman-Benson and Alan Borning. Integrating Constraints with an Object-Oriented Language. In Proceedings of the 1992 European Conference on Object-Oriented Programming, pages 268\u2013286, June 1992.","DOI":"10.1007\/BFb0053042"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"John Hogg. Islands: Aliasing Protection In Object-Oriented Languages. In Proceedings of the 1991 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Phoenix, Arizona, pages 271\u2013285, October 1991.","DOI":"10.1145\/117954.117975"},{"issue":"3","key":"15_CR7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/130943.130947","volume":"2","author":"J. Hogg","year":"1992","unstructured":"John Hogg, Doug Lea, Alan Wills, Dennis deChampeaux, and Richard Holt. The Geneva Convention on the Treatment of Object Aliasing. OOPS Messenger, 2(3): 11\u201316, April 1992.","journal-title":"OOPS Messenger"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Bruce Horn. Constraint Patterns as a Basis for Object-Oriented Constraint Programming. In Proceedings of the 1992 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, British Columbia, pages 218\u2013233, October 1992.","DOI":"10.1145\/141936.141955"},{"key":"15_CR9","unstructured":"Bruce Horn. Constrained Objects. PhD Thesis, Carnegie-Mellon University, Computer Science Department, November 1993. Published as Carnegie Mellon School of Computer Science TR CMU-CS-93-154."},{"issue":"3","key":"15_CR10","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"Paul Hudak. Conception, Evolution, and Application of Functional Programming Languages. Computing Surveys, 21(3): 359\u2013411, September 1989.","journal-title":"Computing Surveys"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Proceedings of the Fourteenth ACM Principles of Programming Languages Conference, Munich, pages 111\u2013119, January 1987.","DOI":"10.1145\/41625.41635"},{"key":"15_CR12","unstructured":"Kenneth Kahn. Objects \u2014 A Fresh Look. In Proceedings of the 1989 European Conference on Object-Oriented Programming, pages 207\u2013223, July 1989."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Setrag Khoshafian and George Copeland. Object Identity. In Proceedings of the 1986 ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, Portland, Oregon, pages 406\u2013416, September\u2013October 1986.","DOI":"10.1145\/28697.28739"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Nils Klarlund and Michael Schwartzbach. Graph Types. In Proceedings of the 1993 ACM Principles of Programming Languages Conference, June 1993.","DOI":"10.1145\/158511.158628"},{"key":"15_CR15","unstructured":"S. Krogdahl and K.A. Olsen. Modular and Object-Oriented Programming. DataTid No. 9, Sept. 1986 (in Norwegian)."},{"key":"15_CR16","unstructured":"Butler Lampson, James Horning, Ralph London, James Mitchell, and Gerald Popek. Report on the Programming Language Euclid. Technical Report CSL-81-12, XEROX Palo Alto Research Center, October 1981."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"William Landi and Barbara Ryder. A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. In Proceedings of the 1992 ACM Conference on Programming Language Design and Implementation, San Francisco, California, pages 235\u2013248, June 1992.","DOI":"10.1145\/143103.143137"},{"key":"15_CR18","unstructured":"William Leler. Constraint Programming Languages. Addison-Wesley, 1987."},{"key":"15_CR19","unstructured":"Jiarong Li. Integrating constraints into existing graphical programs. Unpublished manuscript. Swedish Institute of Computer Science, 1992."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Gus Lopez, Bjorn Freeman-Benson, and Alan Borning. Kaleidoscope: A Constraint Imperative Programming Language. University of Washington Computer Science & Engineering Technical Report 93-09-04, September 1993. To appear in Constraint Programming, B. Mayoh, R. T\u00d5ugu, J. Penjam (Eds.), NATO Advanced Study Institute Series, Series F: Computer and System Sciences, Springer-Verlag, 1994.","DOI":"10.1007\/978-3-642-85983-0_12"},{"key":"15_CR21","unstructured":"Ole Lehrmann Madsen, Birger M\u00d8ller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison-Wesley, 1993."},{"key":"15_CR22","unstructured":"Michael Sannella. The SkyBlue Constraint Solver. Technical Report 92-07-02, Department of Computer Science & Engineering, University of Washington, February 1993."},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Vijay Saraswat. Concurrent Constraint Programming Languages. PhD Thesis, Carnegie-Mellon University, Computer Science Department, January 1989. A revised version is published as Vijay Saraswat, Concurrent Constraint Programming, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"15_CR24","unstructured":"Vijay Saraswat, Radha Jagadeesan, and Vineet Gupta. Timed Concurrent Constraint Programming. To appear in Constraint Programming, B. Mayoh, R. T\u00d5ugu, J. Penjam (Eds.), NATO Advanced Study Institute Series, Series F: Computer and System Sciences, Springer-Verlag, 1994."},{"issue":"3","key":"15_CR25","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Ehud Shapiro. The Family of Concurrent Logic Programming Languages. Computing Surveys, 21(3): 412\u2013510, September 1989.","journal-title":"Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052187.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:28Z","timestamp":1607551168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052187"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0052187","relation":{},"subject":[]}}