{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:52Z","timestamp":1740099172392,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008000"},{"type":"electronic","value":"9783030008017"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00801-7_5","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T23:02:38Z","timestamp":1537916558000},"page":"64-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An Operational Semantics for Constraint-Logic Imperative Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9141-7968","authenticated-orcid":false,"given":"Jan C.","family":"Dagef\u00f6rde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,9,27]]},"reference":[{"issue":"6","key":"5_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S1571-0661(04)80600-5","volume":"70","author":"E Albert","year":"2002","unstructured":"Albert, E., Hanus, M., Huch, F., Oliver, J., Vidal, G.: An operational semantics for declarative multi-paradigm languages. Electron. Notes Theor. Comput. Sci. 70(6), 65\u201386 (2002)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Bogdanas, D., Rosu, G.: K-Java: a complete semantics of Java. In: POPL 2015, pp. 1\u201312 (2015)","key":"5_CR2","DOI":"10.1145\/2775051.2676982"},{"doi-asserted-by":"crossref","unstructured":"Cimadamore, M., Viroli, M.: A Prolog-oriented extension of Java programming based on generics and annotations. In: Amaral, V., et al. (eds.) Proceedings PPPJ, ACM ICPS, vol. 272, pp. 197\u2013202. ACM (2007)","key":"5_CR3","DOI":"10.1145\/1294325.1294352"},{"doi-asserted-by":"publisher","unstructured":"Cimadamore, M., Viroli, M.: Integrating Java and Prolog through generic methods and type inference. In: Wainwright, R.L., Haddad, H. (eds.) Proceedings of the 2008 SAC, pp. 198\u2013205. ACM (2008). https:\/\/doi.org\/10.1145\/1363686","key":"5_CR4","DOI":"10.1145\/1363686"},{"key":"5_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-662-05138-2"},{"unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java\u00ae Language Specification - Java SE 8 Edition (2015). https:\/\/docs.oracle.com\/javase\/specs\/jls\/se8\/jls8.pdf","key":"5_CR6"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-319-26529-2_21","volume-title":"Programming Languages and Systems","author":"E Hainry","year":"2015","unstructured":"Hainry, E., P\u00e9choux, R.: Objects in polynomial time. In: Feng, X., Park, S. (eds.) APLAS 2015. LNCS, vol. 9458, pp. 387\u2013404. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26529-2_21"},{"key":"5_CR8","volume-title":"Handbook of CP","author":"JN Hooker","year":"2006","unstructured":"Hooker, J.N.: Operations research methods in constraint programming (Chap. 15). In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of CP. Elsevier, Amsterdam (2006)"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001)","journal-title":"ACM Trans. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Kondoh, G., Onodera, T.: Finding bugs in Java native interface programs. In: ISSTA 2008, p. 109 (2008)","key":"5_CR10","DOI":"10.1145\/1390630.1390645"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/785411.785416","volume":"8","author":"K Kuchcinski","year":"2003","unstructured":"Kuchcinski, K.: Constraints-driven scheduling and resource assignment. ACM Trans. Des. Autom. Electron. Syst. 8(3), 355\u2013383 (2003)","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"unstructured":"Lindholm, T., Yellin, F., Bracha, G., Buckley, A.: The Java\u00ae Virtual Machine Specification - Java SE 8 Edition (2015). https:\/\/docs.oracle.com\/javase\/specs\/jvms\/se8\/jvms8.pdf","key":"5_CR12"},{"key":"5_CR13","volume-title":"Programming Languages: Principles and Practice","author":"KC Louden","year":"1993","unstructured":"Louden, K.C.: Programming Languages: Principles and Practice. Wadsworth Publ. Co., Belmont (1993)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-22531-4_8","volume-title":"Functional and Constraint Logic Programming","author":"TA Majchrzak","year":"2011","unstructured":"Majchrzak, T.A., Kuchen, H.: Logic Java: combining object-oriented and logic programming. In: Kuchen, H. (ed.) WFLP 2011. LNCS, vol. 6816, pp. 122\u2013137. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22531-4_8"},{"key":"5_CR15","series-title":"International Series in Logic Programming","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. International Series in Logic Programming. Addison-Wesley, Boston (1994)"},{"unstructured":"Ostermayer, L.: Seamless cooperation of Java and Prolog for rule-based software development. In: Proceedings of the RuleML 2015, Berlin (2015)","key":"5_CR16"},{"unstructured":"Scott, R.: A Guide to Artificial Intelligence with Visual Prolog. Outskirts Press (2010)","key":"5_CR17"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E Shapiro","year":"1983","unstructured":"Shapiro, E., Takeuchi, A.: Object oriented programming in concurrent Prolog. New Gener. Comput. 1(1), 25\u201348 (1983)","journal-title":"New Gener. Comput."},{"key":"5_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine - Definition, Verification, Validation","author":"R St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine - Definition, Verification, Validation. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-3-642-59495-3"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-29822-6_24","volume-title":"Functional and Logic Programming","author":"M Triska","year":"2012","unstructured":"Triska, M.: The finite domain constraint solver of SWI-Prolog. In: Schrijvers, T., Thiemann, P. (eds.) FLOPS 2012. LNCS, vol. 7294, pp. 307\u2013316. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29822-6_24"},{"issue":"6","key":"5_CR21","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 Pract. Log. Program. 3(6), 717\u2013763 (2003)","journal-title":"Theory Pract. Log. Program."},{"unstructured":"Warren, D.H.D.: An abstract Prolog instruction set. Technical report, SRI International, Menlo Park (1983)","key":"5_CR22"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00801-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T17:43:05Z","timestamp":1571938985000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00801-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008000","9783030008017"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00801-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"WFLP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Functional and Constraint Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"W\u00fcrzburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wflp2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/declare17.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}