{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:23:45Z","timestamp":1725567825340},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678984"},{"type":"electronic","value":"9783540446163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-540-44616-3_4","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T14:09:44Z","timestamp":1287065384000},"page":"53-72","source":"Crossref","is-referenced-by-count":3,"title":["Extending Casl by Late Binding"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[]},{"given":"Maura","family":"Cerioli","sequence":"additional","affiliation":[]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-49020-3_3","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Ancona","year":"1999","unstructured":"Ancona, D., Cerioli, M., Zucca, E.: A formal framework with late binding. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol.\u00a01577, pp. 30\u201344. Springer, Heidelberg (1999)"},{"key":"4_CR2","unstructured":"Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P., Sannella, D., Tarlecki, A.: Formal Methods 1999 - CASL, The Common Algebraic Specification Language - Semantics. Available on compact disc published by Springer-Verlag (1999)"},{"key":"4_CR3","unstructured":"Bracha, G.: The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah (1992)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Cook, W.: A Denotational Semantics of Inheritance. PhD thesis, Dept. Comp. Sci., Brown University (1989)","DOI":"10.1145\/74877.74922"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Reddy, U.S.: Objects as closures: Abstract semantics of object-oriented languages. In: Proc. ACM Conf. on Lisp and Functional Programming, pp. 289\u2013297 (1988)","DOI":"10.1145\/62678.62721"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Ancona, D., Cerioli, M., Zucca, E.: A formal framework with late binding. In: Finance, J.-P. (ed.) FASE 1999. LNCS, vol.\u00a01577, pp. 30\u201344. Springer, Heidelberg (1999)","DOI":"10.1007\/978-3-540-49020-3_3"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44616-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T13:23:51Z","timestamp":1559741031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44616-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678984","9783540446163"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44616-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}