{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:33Z","timestamp":1725664233405},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602996"},{"type":"electronic","value":"9783540447887"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60299-2_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:14:53Z","timestamp":1330280093000},"page":"499-514","source":"Crossref","is-referenced-by-count":1,"title":["A visual constraint-programming environment"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Paltrinieri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"30_CR1","first-page":"52","volume-title":"An Introduction to LIFE \u2014 Programming with logic, Inheritance, Functions and Equations","author":"H. A\u00eft-Kaci","year":"1993","unstructured":"Hassan A\u00eft-Kaci: An Introduction to LIFE \u2014 Programming with logic, Inheritance, Functions and Equations, in D. Miller (ed.), Proc. of the Internat. Symp. on Logic Programming, Vancouver, BC, pages 52\u201368, The MIT Press, Cambridge, MA, 1993."},{"key":"30_CR2","unstructured":"J. Andersson, S. Andersson, K. Boortz, M. Carlsson, H. Nilsson, J. Widen, T. Sj\u00f6land: Sicstus Prolog User's Manual, Technical Report T93:01, Swedish Institute of Computer Science, January 1993."},{"key":"30_CR3","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G. Booch","year":"1994","unstructured":"G. Booch: Object-Oriented Analysis and Design with Applications, Second Edition, The Benjamin Cummings Publishing Company, Inc., California, 1994.","edition":"Second Edition"},{"key":"30_CR4","volume-title":"Ph.D. Thesis","author":"A. Borning","year":"1979","unstructured":"A. Borning: Thinglab: A Constraint-Oriented Simulation Laboratory, Ph.D. Thesis, Stanford University, CA, 1979."},{"key":"30_CR5","unstructured":"Bull S.A.: Manuel Charme First, Bull Publication 95-F2-52GN-REVO, Cediag, 48 Route de Versailles, 78430 Louveciennes, France, 1991."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"A. Colmerauer: An Introduction to Prolog III, Communications of the ACM, Vol. 33 (7), 1990.","DOI":"10.1145\/79204.79210"},{"key":"30_CR7","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier: The Constraint Logic Programming Language CHIP, Proc. of the Int. Conf. on Fifth Generation Computer Systems, Tokyo, Japan, 1988."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"B. Freeman-Benson: Kaleidoscope: Mixing Objects, Constraints and Imperative Programming, Proc. ECOOP\/OOPSLA '90, pages 77\u201388, Oct. 1990.","DOI":"10.1145\/97945.97957"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"B. Freeman-Benson, A. Borning: The Design and Implementation of Kaleidoscope'90, a Constraint Imperative Programming Language, Proc. of the IEEE Computer Society International Conference on Computer Languages, pages 174\u2013180, April 1992.","DOI":"10.1109\/ICCL.1992.185480"},{"key":"30_CR10","unstructured":"D. R. Harris: A Hybrid Object and Constraint Representation Language, AAAI-86, pages 986\u2013990, Philadelphia, Pennsylvania, 1986."},{"key":"30_CR11","first-page":"218","volume-title":"Constraint Patterns as a Basis for Object Oriented Programming","author":"B. Horn","year":"1992","unstructured":"B. Horn: Constraint Patterns as a Basis for Object Oriented Programming, Proc. of the 1992 Conference on Object-Oriented Programming Systems, Languages and Applications, pages 218\u2013233, Vancouver, Canada, 1992, ACM Press."},{"key":"30_CR12","unstructured":"M. Henz, G. Smolka, J. W\u00fcrtz: Object-Oriented Concurrent Programming in Oz, in P. van Hentenryck and V. Saraswat (eds.), Principles and Practice of Constraint Programming, The MIT Press, pages 27\u201348, 1995, to appear."},{"key":"30_CR13","unstructured":"J. Jaffar, S. Michaylov, P.J. Stuckey: The CLP(R) Language System, draft for Constraints & Languages W\/S, 1988."},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar, M. Maher: Constraint Logic Programming: A Survey, Journal of Logic Programming, 19\/20, pages 503\u2013581, May\u2013July 1994.","journal-title":"Journal of Logic Programming"},{"key":"30_CR15","volume-title":"The TK!Solver Book","author":"M. Konopasek","year":"1984","unstructured":"M. Konopasek, S. Jayaraman: The TK!Solver Book, Osborne\/McGraw-Hill, Berkeley, CA, 1984."},{"key":"30_CR16","unstructured":"T. K\u00f6k\u00e9ny: Yet Another Object-Oriented Constraint Resolution System: An Open Architecture Approach, XI Europen Conference on Artificial Intelligence, Workshop: Constraint Processing, working notes, pages 115\u2013120, Amsterdam, The Netherlands, 1994."},{"key":"30_CR17","unstructured":"W. Leler: Constraint Programming Languages, Addison-Wesley Publishing Company, 1988."},{"key":"30_CR18","unstructured":"G. Lopez, B. Freeman-Benson, A. Borning: Kaleidoscope: A Constraint Imperative Programming language, in Constraint Programming, B. Mayoh, E. T\u00f5ugu, J. Penjam (Eds.), NATO Advanced Science Institute Series, Series F: Computer and System Science, Springer-Verlag, 1993."},{"key":"30_CR19","doi-asserted-by":"crossref","unstructured":"G. Lopez, B. Freeman-Benson, A. Borning: Implementing Constraint Imperative Programming Languages: The Kaleidoscope'93 Virtual Machine, in Proc. of the 1994 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, Oregon, October 1994.","DOI":"10.1145\/191080.191118"},{"key":"30_CR20","doi-asserted-by":"crossref","unstructured":"J. Maloney, A. Borning, B. Freeman-Benson: Constraint Technology for User Interface Construction in ThingLab II, in Proc. of the 1989 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 381\u2013388, New Orleans, October 1989.","DOI":"10.1145\/74877.74917"},{"key":"30_CR21","doi-asserted-by":"crossref","unstructured":"B. A. Myers, D. A. Giuse, B. Vander Zanden: Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods, Proc. of the 1992 ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 184\u2013200, Vancouver, Canada, 1992.","DOI":"10.1145\/141936.141953"},{"key":"30_CR22","unstructured":"B. A. Nadel: Some Applications of the Constrain Satisfaction Problem, Technical Report CSC-90-008, Computer Science Department, Wayne State University, 1990."},{"key":"30_CR23","first-page":"55","volume":"1","author":"A. Oplobedu","year":"1989","unstructured":"A. Oplobedu: Charme: Un Langage Industriel de Programmation par Contraintes, Actes 9eme Journ\u00e9e International sur les Syst\u00e8mes Expert et Leur Applications, Vol. 1, 55\u201370, Avignon, 1989.","journal-title":"Actes 9eme Journ\u00e9e International sur les Syst\u00e8mes Expert et Leur Applications"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"M. Paltrinieri: On the Design of Constraint Satisfaction Problems, Principles and Practice of Constraint Programming, A. Borning (ed.), Lecture Notes in Computer Science, N. 874, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58601-6_108"},{"key":"30_CR25","doi-asserted-by":"crossref","unstructured":"M. Paltrinieri: Integrating Objects with Constraint-Programming Languages, Object-Oriented Methodologies and Systems, E. Bertino and S. Urban (eds.), Lecture Notes in Computer Science, N. 858, Springer-Verlag, 1994.","DOI":"10.1007\/BFb0014029"},{"key":"30_CR26","unstructured":"J.-F. Puget: Programmation Par Contraintes Orient\u00e9e Objet, 12th International Conference on Artificial Intelligence, Expert Systems and Natural Language, pages 129\u2013138, Avignon, France, 1992."},{"key":"30_CR27","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen: Object-Oriented Modeling and Design, Prentice-Hall Inc., Englewood Cliffs, N.J., 1991."},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat: Concurrent Constraint Programming, MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"30_CR29","doi-asserted-by":"crossref","unstructured":"D. Srivastava, R. Ramakrishnan, P. Z. Revesz: Constraint Objects, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.","DOI":"10.1007\/3-540-58601-6_103"},{"issue":"No.9","key":"30_CR30","first-page":"43","volume":"7","author":"C. Tanzer","year":"1995","unstructured":"C. Tanzer: Remarks on Object-Oriented Modeling of Associations, Journal of Object-Oriented Programming, Vol. 7, No. 9, pages 43\u201346, February 1995.","journal-title":"Journal of Object-Oriented Programming"},{"key":"30_CR31","doi-asserted-by":"crossref","unstructured":"S. Thennarangam, G. Singh: Inferring 3-dimensional Constraints with DEVI, Second International Workshop on Principles and Practice of Constraint Programming, Orcas Island, WA, May 1994.","DOI":"10.1007\/3-540-58601-6_91"},{"key":"30_CR32","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck: Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, Massachusetts, 1989."},{"key":"30_CR33","doi-asserted-by":"crossref","unstructured":"C. J. Van Wyk: A High-Level Language for Specifying Pictures, ACM Transactions on Graphics 1(2), 163\u2013182.","DOI":"10.1145\/357299.357303"},{"key":"30_CR34","unstructured":"M. Wallace, A. Veron: Two Problems \u2014 Two Solutions: One System ECLiPSe, IEE Colloquium on Advaanced Software Technologies for Scheduling, London, April 1993."},{"key":"30_CR35","doi-asserted-by":"crossref","unstructured":"M. Wilk: Equate: An Object-Oriented Constraint Solver, OOPSLA '91, pages 286\u2013298, Phoenix, October 1991.","DOI":"10.1145\/117954.117976"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP '95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60299-2_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:36:56Z","timestamp":1619573816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60299-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602996","9783540447887"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-60299-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}