{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:16:38Z","timestamp":1725567398837},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657187"},{"type":"electronic","value":"9783540490203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49020-3_3","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:40:24Z","timestamp":1286970024000},"page":"30-44","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Framework with Late Binding"],"prefix":"10.1007","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maura","family":"Cerioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Ancona, D., Cerioli, M., Zucca, E.: A formal framework with late binding. Technical Report DISI-TR-98-16, Dipartimento di Informatica e Scienze dell\u2019Informazione. Universit\u00e0 di Genova (1998)"},{"key":"3_CR2","series-title":"Progress in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4138-6","volume-title":"Object-Oriented Programming: A Unified Foundation","author":"G. Castagna","year":"1997","unstructured":"Castagna, G.: Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birkh\u00e4user, Basel (1997)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","first-page":"91","volume-title":"Recent Trends in Algebraic Development Techniques","author":"M. Cerioli","year":"1998","unstructured":"Cerioli, M., Haxthausen, A., Krieg-Br\u00fcckner, B., Mossakowski, T.: Permissive subsorted partial logic in CASL. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 91\u2013107. Springer Verlag, Heidelberg (1998)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BFb0053029","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"C. Chambers","year":"1992","unstructured":"Chambers, C.: Object-oriented multi-methods in Cecil. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 33\u201356. Springer, Heidelberg (1992)"},{"key":"3_CR5","series-title":"EATCS Monograph in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1. Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monograph in Computer Science, vol.\u00a06. Springer, Heidelberg (1985)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for computer science. Journ. ACM\u00a039, 95\u2013146 (1992)","journal-title":"Journ. ACM"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Meseguer, J.: Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial equations. Theoretical Computer Science\u00a0(105), 217\u2013273 (1992)","journal-title":"Theoretical Computer Science"},{"key":"3_CR8","volume-title":"Object Oriented Programming in Common Lisp: A Programming Guide in CLOS","author":"S.C. Keene","year":"1989","unstructured":"Keene, S.C.: Object Oriented Programming in Common Lisp: A Programming Guide in CLOS. Addison-Wesley, Reading (1989)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0053031","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"K. Lano","year":"1992","unstructured":"Lano, K., Haughton, H.: Reasoning and refinement in object-oriented specification languages. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 78\u201397. Springer, Heidelberg (1992)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Management and Processing of Complex Data Structures","author":"U.W. Lipeck","year":"1994","unstructured":"Lipeck, U.W., Brass, S.: Object-oriented systemsp ecification using defaults. In: Luck, K.v., Marburger, H. (eds.) IS\/KI 1994 and KI-WS 1994. LNCS, vol.\u00a0777. Springer, Heidelberg (1994)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Towards formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica\u00a025, 233\u2013281 (1988)","journal-title":"Acta Informatica"},{"key":"#cr-split#-3_CR12.1","doi-asserted-by":"crossref","unstructured":"Stata, R., Guttag, J.V.: Modular reasoning in the presence of subclassing. In: ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1995, pp. 200???214. ACM Press, New York (1995);","DOI":"10.1145\/217838.217861"},{"key":"#cr-split#-3_CR12.2","doi-asserted-by":"crossref","unstructured":"Stata, R., Guttag, J.V.: Modular reasoning in the presence of subclassing. In: ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1995, pp. 200\u2013214. ACM Press, New York (1995); SIGPLAN Notices 30(10)","DOI":"10.1145\/217839.217861"},{"key":"3_CR13","volume-title":"Algebraic Foundation of Information Systems Specification","author":"A. Tarlecki","year":"1999","unstructured":"Tarlecki, A.: Institutions: An abstract framework for formal specification. In: Algebraic Foundation of Information Systems Specification. Chapman and Hall, Boca Raton (1999) (to appear)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49020-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T12:13:19Z","timestamp":1559736799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49020-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657187","9783540490203"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49020-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}