{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:27:55Z","timestamp":1725470875266},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462675"},{"type":"electronic","value":"9783540462682"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11889205_9","type":"book-chapter","created":{"date-parts":[[2006,9,28]],"date-time":"2006-09-28T12:07:42Z","timestamp":1159445262000},"page":"91-106","source":"Crossref","is-referenced-by-count":10,"title":["CoJava: Optimization Modeling by Nondeterministic Simulation"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Brodsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hadon","family":"Nash","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Smalltalk-80: the language and its implementation","author":"A. Goldberg","year":"1983","unstructured":"Goldberg, A., Robson, D.: Smalltalk-80: the language and its implementation. Addison-Wesley Longman Publishing Co., Inc., Boston (1983)"},{"key":"9_CR2","volume-title":"The Java language specication.","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G.: The Java language specication. Addison-Wesley Longman Publishing Co., Inc., Boston (1996)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O.-J. Dahl","year":"1966","unstructured":"Dahl, O.-J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM\u00a09, 671\u2013678 (1966)","journal-title":"Commun. ACM"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1109\/WSC.1990.129564","volume-title":"WSC 1990: Proceedings of the 22nd conference on Winter simulation","author":"T. Thomasma","year":"1990","unstructured":"Thomasma, T., Madsen, J.: Object oriented programming languages for developing simulation-related software. In: WSC 1990: Proceedings of the 22nd conference on Winter simulation, Piscataway, NJ, USA, pp. 482\u2013485. IEEE Press, Los Alamitos (1990)"},{"key":"9_CR5","first-page":"327","volume-title":"WSC 1998: Proceedings of the 30th conference on Winter simulation","author":"K.J. Healy","year":"1998","unstructured":"Healy, K.J., Kilgore, R.A.: Introduction to silk and java-based simulation. In: WSC 1998: Proceedings of the 30th conference on Winter simulation, pp. 327\u2013334. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bizarro, P., Silva, L.M., Silva, J.G.: Jwarp: A java library for parallel discrete-event simulations. In: Proceedings of the ACM Workshop on Java for High- Performance Network Computing, pp. 999\u20131005 (1998)","DOI":"10.1002\/(SICI)1096-9128(199809\/11)10:11\/13<999::AID-CPE406>3.0.CO;2-S"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1287\/mnsc.36.5.519","volume":"36","author":"R. Fourer","year":"1990","unstructured":"Fourer, R., Gay, D.M., Kernighan, B.W.: A modeling language for mathematical programming. Manage. Sci.\u00a036, 519\u2013554 (1990)","journal-title":"Manage. Sci."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1145\/6187.6188","volume":"11","author":"R.F. Boisvert","year":"1985","unstructured":"Boisvert, R.F., Howe, S.E., Kahaner, D.K.: Gams: a framework for the management of scientific software. ACM Trans. Math. Softw.\u00a011, 313\u2013355 (1985)","journal-title":"ACM Trans. Math. Softw."},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/10704567_6","volume-title":"Principles and Practice of Declarative Programming","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P., Michel, L., Perron, L., R\u00e9gin, J.C.: Constraint programming in opl. In: Nadathur, G. (ed.) PPDP 1999. LNCS, vol.\u00a01702, pp. 98\u2013116. Springer, Heidelberg (1999)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 111\u2013119. ACM Press, New York (1987)"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1017\/S1471068401001363","volume":"2","author":"Y. Caseau","year":"2002","unstructured":"Caseau, Y., Josset, F.X., Laburthe, F.: CLAIRE: combining sets, search and rules to better express algorithms. Theory and Practice of Logic Programming\u00a02, 769\u2013805 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Smolka, G., Henz, M., Wurtz, J.: Object-oriented concurrent constraint programming in Oz. Principles and Practice of Constraint Programming, 29\u201348 (1995)","DOI":"10.7551\/mitpress\/4298.003.0011"},{"key":"9_CR13","first-page":"159","volume":"12","author":"M. Wallace","year":"1997","unstructured":"Wallace, M., Novello, S., Schimpf, J.: ECLiPSe: A platform for constraint logic programming. ICL Systems Journal\u00a012, 159\u2013200 (1997)","journal-title":"ICL Systems Journal"},{"key":"9_CR14","unstructured":"Puget, J.F., Leconte, M.: Beyond the glass box: Constraints as objects. In: International Logic Programming Symposium, pp. 513\u2013527 (1995)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Apt, K., Schaerf, A.: Search and imperative programming. In: Conference Record of POPL 1997: The 24TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, New York, NY, pp. 67\u201379 (1997)","DOI":"10.1145\/263699.263709"},{"key":"9_CR16","unstructured":"Jayaraman, B., Tambay, P.: Semantics and applications of constrained objects. Technical Report 2001-15 (2001)"},{"key":"9_CR17","unstructured":"Horn, B.L.: Siri: a constrained-object language for reactive program implementation. School of Computer Science, Carnegie Mellon University, Pittsburgh (1991)"},{"key":"9_CR18","unstructured":"Puget, J.F.: A c++ implementation of clp. In: Proceedings of SPICIS (1994)"},{"key":"9_CR19","unstructured":"Laburthe, F.: Choco: Implementing a cp kernel. In: CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS), Singapore, pp. 71\u201385 (2000)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11754602_9","volume-title":"Recent Advances in Constraints","author":"C. Schulte","year":"2006","unstructured":"Schulte, C., Tack, G.R.: Views and iterators for generic constraint implementations. In: Hnich, B., Carlsson, M., Fages, F., Rossi, F. (eds.) CSCLP 2005. LNCS, vol.\u00a03978, pp. 118\u2013132. Springer, Heidelberg (2006)"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1023\/A:1009743528682","volume":"2","author":"A. Brodsky","year":"1997","unstructured":"Brodsky, A., Segal, V.E., Chen, J., Exarkhopoulo, P.A.: The ccube constraint object-oriented database system. Constraints\u00a02, 245\u2013277 (1997)","journal-title":"Constraints"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"Borning, A.: The programming language aspects of thinglab, a constraint-oriented simulation laboratory. ACM Trans. Program. Lang. Syst.\u00a03, 353\u2013387 (1981)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/97945.97957","volume-title":"OOPSLA\/ECOOP 1990: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications","author":"B.N. Freeman-Benson","year":"1990","unstructured":"Freeman-Benson, B.N.: Kaleidoscope: mixing objects, constraints, and imperative programming. In: OOPSLA\/ECOOP 1990: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pp. 77\u201388. ACM Press, New York (1990)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BFb0054087","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"P.A. Fritzson","year":"1998","unstructured":"Fritzson, P.A., Engelson, V.: Modelica - A unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 67\u201390. Springer, Heidelberg (1998)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11889205_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T18:37:20Z","timestamp":1707244640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11889205_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462675","9783540462682"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11889205_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}