{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:37:16Z","timestamp":1743043036933,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642225307"},{"type":"electronic","value":"9783642225314"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22531-4_8","type":"book-chapter","created":{"date-parts":[[2011,7,14]],"date-time":"2011-07-14T03:34:11Z","timestamp":1310614451000},"page":"122-137","source":"Crossref","is-referenced-by-count":5,"title":["Logic Java: Combining Object-Oriented and Logic Programming"],"prefix":"10.1007","author":[{"given":"Tim A.","family":"Majchrzak","sequence":"first","affiliation":[]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7160.001.0001","volume-title":"Warren\u2019s abstract machine: a tutorial reconstruction","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"A\u00eft-Kaci, H.: Warren\u2019s abstract machine: a tutorial reconstruction. MIT Press, Cambridge (1991)"},{"key":"8_CR2","volume-title":"From logic programming to Prolog","author":"K.R. Apt","year":"1996","unstructured":"Apt, K.R.: From logic programming to Prolog. Prentice-Hall, Upper Saddle River (1996)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/258948.258967","volume-title":"ICFP 1997: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming","author":"J. Armstrong","year":"1997","unstructured":"Armstrong, J.: The development of Erlang. In: ICFP 1997: Proceedings of the Second ACM SIGPLAN International Conference on Functional Programming, pp. 196\u2013203. ACM, New York (1997)"},{"key":"8_CR4","volume-title":"The Java Programming Language","author":"K. Arnold","year":"2005","unstructured":"Arnold, K., Gosling, J., Holmes, D.: The Java Programming Language, 4th edn. Addison-Wesley, London (2005)","edition":"4"},{"key":"8_CR5","first-page":"223","volume-title":"Logic Progr. and Soft Computing","author":"J. Baldwin","year":"1998","unstructured":"Baldwin, J., Martin, T., Vargas-Vera, M.: Fril++: object-based extensions to Fril. In: Martin, T., Fontana, F. (eds.) Logic Progr. and Soft Computing, pp. 223\u2013238. Research Studies Press, Hertfordshire (1998)"},{"key":"8_CR6","volume-title":"Effective Java","author":"J. Bloch","year":"2008","unstructured":"Bloch, J.: Effective Java, 2nd edn. Prentice Hall, Upper Saddle River (2008)","edition":"2"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Cao, T.H., Rossiter, J.M., Martin, T.P., Baldwin, J.F.: On the implementation of Fril++ for object-oriented logic programming with uncertainty and fuzziness. Technologies for Constructing Intelligent Systems: Tools, 393\u2013406 (2002)","DOI":"10.1007\/978-3-7908-1796-6_31"},{"key":"8_CR8","first-page":"197","volume-title":"Proceedings PPPJ 2007","author":"M. Cimadamore","year":"2007","unstructured":"Cimadamore, M., Viroli, M.: A Prolog-oriented extension of Java programming based on generics and annotations. In: Proceedings PPPJ 2007, pp. 197\u2013202. ACM, New York (2007)"},{"key":"8_CR9","first-page":"198","volume-title":"Proc. SAC 2008","author":"M. Cimadamore","year":"2008","unstructured":"Cimadamore, M., Viroli, M.: Integrating Java and Prolog through generic methods and type inference. In: Proc. SAC 2008, pp. 198\u2013205. ACM, New York (2008)"},{"key":"8_CR10","first-page":"1328","volume-title":"Proc. of the 2004 ACM SAC, SAC 2004","author":"M. D\u2019Hondt","year":"2004","unstructured":"D\u2019Hondt, M., Gybels, K., Jonckers, V.: Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis. In: Proc. of the 2004 ACM SAC, SAC 2004, pp. 1328\u20131335. ACM, New York (2004)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-00590-9_15","volume-title":"Programming Languages and Systems","author":"J.M. Eber","year":"2009","unstructured":"Eber, J.M.: The financial crisis, a lack of contract specification tools: What can finance learn from programming language design? In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 205\u2013206. Springer, Heidelberg (2009)"},{"issue":"5","key":"8_CR12","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1017\/S1471068406002924","volume":"7","author":"A.J. Fernandez","year":"2007","unstructured":"Fernandez, A.J., Hortala-Gonzalez, T., Saenz-Perez, F., Del Vado-Virseda, R.: Constraint functional logic programming over finite domains. Theory and Practice of Logic Programming\u00a07(5), 537\u2013582 (2007)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3-4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1017\/S0956796809007291","volume":"19","author":"J. Gibbons","year":"2009","unstructured":"Gibbons, J., Oliveira, B.: The essence of the iterator pattern. J. Funct. Program.\u00a019(3-4), 377\u2013402 (2009)","journal-title":"J. Funct. Program."},{"key":"8_CR14","volume-title":"The Java(TM) Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java(TM) Language Specification, 3rd edn. Addison-Wesley Professional, London (2005)","edition":"3"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/24697.24709","volume":"22","author":"W.J. Hankley","year":"1987","unstructured":"Hankley, W.J.: Feature analysis of turbo prolog. SIGPLAN Not.\u00a022, 111\u2013118 (1987)","journal-title":"SIGPLAN Not."},{"key":"8_CR16","unstructured":"Hanus, M., Kuchen, H., Moreno-Navarro, J.: Curry: A Truly Functional Logic Language. In: Proceedings ILPS 1995 Workshop on Visions for the Future of Logic Programming, pp. 95\u2013107 (1995)"},{"key":"8_CR17","unstructured":"Kuchen, H.: Implementing an Object Oriented Design in Curry. In: Proceedings WFLP 2000, pp. 499\u2013509 (2000)"},{"key":"8_CR18","unstructured":"Lembeck, C., Caballero, R., Mueller, R.A., Kuchen, H.: Constraint solving for generating glass-box test cases. In: Proceedings WFLP 2004, pp. 19\u201332 (2004)"},{"key":"8_CR19","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Prentice-Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"8_CR20","volume-title":"Programming Languages","author":"K.C. Louden","year":"1993","unstructured":"Louden, K.C.: Programming Languages. Wadsworth, Belmont (1993)"},{"issue":"2-3","key":"8_CR21","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF03037208","volume":"7","author":"E. Lusk","year":"1990","unstructured":"Lusk, E., Butler, R., Disz, T., Olson, R., Overbeek, R., Stevens, R., Warren, D.H., Calderwood, A., Szeredi, P., Haridi, S., Brand, P., Carlsson, M., Ciepielewski, A., Hausman, B.: The Aurora or-parallel Prolog system. New Gen. Comput.\u00a07(2-3), 243\u2013271 (1990)","journal-title":"New Gen. Comput."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/TASE.2009.33","volume-title":"TASE 2009: Proceedings of the 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering","author":"T.A. Majchrzak","year":"2009","unstructured":"Majchrzak, T.A., Kuchen, H.: Automated Test Case Generation based on Coverage Analysis. In: TASE 2009: Proceedings of the 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, pp. 259\u2013266. IEEE Computer Society, Los Alamitos (2009)"},{"key":"8_CR23","unstructured":"Majchrzak, T.A., Kuchen, H.: Muggl: The Muenster Generator of Glass-box Test Cases. In: Becker, J., Backhaus, K., Grob, H., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., M\u00fcller-Funk, U., Thonemann, U.W., Vossen, G. (eds.) Working Papers No. 10. European Research Center for Information Systems, ERCIS (2011)"},{"key":"8_CR24","first-page":"78","volume-title":"Proceedings OOPSLA\/ECOOP 1990","author":"J. Malenfant","year":"1991","unstructured":"Malenfant, J., Lapalme, G., Vaucher, J.: ObjVProlog-D: a reflexive object-oriented logic language for distributed computing. In: Proceedings OOPSLA\/ECOOP 1990, pp. 78\u201381. ACM, New York (1991)"},{"key":"8_CR25","volume-title":"Logic and objects","author":"F.G. McCabe","year":"1992","unstructured":"McCabe, F.G.: Logic and objects. Prentice-Hall, Upper Saddle River (1992)"},{"issue":"4","key":"8_CR26","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1016\/S0957-4174(02)00076-3","volume":"23","author":"K. Mens","year":"2002","unstructured":"Mens, K., Michiels, I., Wuyts, R.: Supporting software development through declaratively codified programming patterns. Expert Syst. Appl.\u00a023(4), 405\u2013413 (2002)","journal-title":"Expert Syst. Appl."},{"key":"8_CR27","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198526926.001.0001","volume-title":"Fortran 95\/2003 Explained","author":"M. Metcalf","year":"2004","unstructured":"Metcalf, M., Cohen, M.: Fortran 95\/2003 Explained, 3rd edn. Oxford University Press, Oxford (2004)","edition":"3"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BFb0057014","volume-title":"ECOOP 1991 European Conference on Object-Oriented Programming","author":"A. Morzenti","year":"1991","unstructured":"Morzenti, A., Pietro, P.S.: An Object-Oriented Logic Language for Modular System Specification. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 39\u201358. Springer, Heidelberg (1991)"},{"key":"8_CR29","volume-title":"Prolog++: The Power of Object-Oriented and Logic Programming","author":"C. Moss","year":"1994","unstructured":"Moss, C.: Prolog++: The Power of Object-Oriented and Logic Programming, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1994)","edition":"1"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-02846-5_3","volume-title":"Logic Programming","author":"P. Moura","year":"2009","unstructured":"Moura, P.: From plain prolog to logtalk objects: Effective code encapsulation and reuse. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 23\u201323. Springer, Heidelberg (2009)"},{"key":"8_CR31","volume-title":"Java Generics and Collections","author":"M. Naftalin","year":"2006","unstructured":"Naftalin, M., Wadler, P.: Java Generics and Collections. O\u2019Reilly Media, Inc., Sebastopol (2006)"},{"key":"8_CR32","volume-title":"Proceedings CUFP 2007","author":"J.H. Nystr\u00f6m","year":"2007","unstructured":"Nystr\u00f6m, J.H.: Productivity gains with Erlang. In: Proceedings CUFP 2007. ACM, New York (2007)"},{"key":"8_CR33","unstructured":"Opdyke, W.F.: Refactoring object-oriented frameworks. Ph.D. thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA (1992)"},{"key":"8_CR34","unstructured":"Page, Jr., T.W.: An object-oriented logic programming environment for modeling. Ph.D. thesis, University of California, Los Angeles (1989)"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/3-540-45699-6_9","volume-title":"Applied Semantics","author":"D. R\u00e9my","year":"2002","unstructured":"R\u00e9my, D.: Using, understanding, and unraveling the oCaml language from practice to theory and vice versa. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 413\u2013536. Springer, Heidelberg (2002)"},{"key":"8_CR36","volume-title":"Functional and Logic Programming Languages","author":"P.H. Salus","year":"1998","unstructured":"Salus, P.H.: Functional and Logic Programming Languages. Sams, Indianapolis (1998)"},{"key":"8_CR37","unstructured":"Scott, R.: A Guide to Artificial Intelligence with Visual Prolog. Outskirts Press (2010)"},{"issue":"3","key":"8_CR38","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E.: The family of concurrent logic programming languages. ACM Computing Surveys\u00a021(3), 413\u2013510 (1989)","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"8_CR39","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E.Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y., Takeuchi, A.: Object Oriented Programming in Concurrent Prolog. New Generation Comput.\u00a01(1), 25\u201348 (1983)","journal-title":"New Generation Comput."},{"key":"8_CR40","first-page":"39","volume-title":"ICLP 1991: Pre-Conference Workshop on Parallel Execution of Logic Programs","author":"P. Szeredi","year":"1991","unstructured":"Szeredi, P.: Solving Optimisation Problems in the Aurora Or-parallel Prolog System. In: ICLP 1991: Pre-Conference Workshop on Parallel Execution of Logic Programs, pp. 39\u201353. Springer, London (1991)"},{"issue":"6","key":"8_CR41","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1017\/S1471068403001741","volume":"3","author":"P. Roy Van","year":"2003","unstructured":"Van Roy, P., Brand, P., Duchier, D., Haridi, S., Schulte, C., Henz, M.: Logic programming in the context of multiparadigm, programming: the Oz experience. Theory and Practice of Logic Programming\u00a03(6), 717\u2013763 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/800228.806939","volume-title":"Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages","author":"D.H.D. Warren","year":"1977","unstructured":"Warren, D.H.D., Pereira, L.M., Pereira, F.: Prolog \u2013 the language and its implementation compared with Lisp. In: Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, pp. 109\u2013115. ACM, New York (1977)"},{"key":"8_CR43","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/1016850.1016854","volume-title":"ICFP 2004: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming","author":"U. Wiger","year":"2004","unstructured":"Wiger, U.: 20 years of industrial functional programming. In: ICFP 2004: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, pp. 162\u2013162. ACM, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","Functional and Constraint Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22531-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T18:27:35Z","timestamp":1712600855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22531-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642225307","9783642225314"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22531-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}