{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:28:46Z","timestamp":1725456526791},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614630"},{"type":"electronic","value":"9783540685951"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0014314","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:04:25Z","timestamp":1132736665000},"page":"163-179","source":"Crossref","is-referenced-by-count":0,"title":["Object-oriented implementation of abstract data type specifications"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Schmitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-60043-4_51","volume":"936","author":"M. Bidoit","year":"1995","unstructured":"M. Bidoit, R. Hennicker: Modular correctness proofs of behavioural implementations. Available by WWW: http:\/\/www.pst.informatik.uni-muenchen.de\/\u223chennicke\/, 1995. A short version appeared as: Proving the correctness of behavioural implementations. Proc. AMAST '95, Springer Lecture Notes in Computer Science 936, 152\u2013168, 1995.","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"13_CR2","unstructured":"M. Bidoit, R. Hennicker: Behavioural theories and the proof of behavioural properties. To appear in Theor. Comp. Science. Previous version in: Report LIENS-95-5, Ecole Normale Sup\u00e9rieure, 1995."},{"issue":"2\u20133","key":"13_CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0167-6423(95)00014-3","volume":"25","author":"M. Bidoit","year":"1995","unstructured":"M. Bidoit, R. Hennicker, M. Wirsing: Behavioural and abstractor specifications. Science of Computer Programming 25 (2\u20133), 149\u2013186, 1995.","journal-title":"Science of Computer Programming"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"R. Breu: Algebraic Specification Techniques in Object Oriented Programming Environments. Springer Lecture Notes in Computer Science 562, 1991.","DOI":"10.1007\/3-540-54972-2"},{"key":"13_CR5","unstructured":"R. Breu, E. Zucca: An Algebraic Compositional Semantics of an Object Oriented Notation with Concurrency. In: C. E. Veni Madhavan (ed.): Proc. 9th Conf. on Foundations of Software Technology and Theoretical Computer Science, Springer Lecture Notes in Computer Science 405, 131\u2013142, 1990."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1, EATCS Monographs on Theoretical Computer Science 6, Springer, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"J. Guttag, J. Horning: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer, 1993.","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume":"140","author":"J. A. Goguen","year":"1982","unstructured":"J. A. Goguen, J. Meseguer: Universal realization, persistent interconnection and implementation of abstract modules. In Proc. ICALP '82, Springer Lecture Notes in Computer Science 140, 265\u2013281, 1982.","journal-title":"Proc. ICALP '82, Springer Lecture Notes in Computer Science"},{"key":"13_CR9","unstructured":"J. A. Goguen, J. Meseguer: Unifying functional, object-oriented and relational programming with logical semantics. In: B. Shriver, P. Wegner (eds.): Research Directions in Object-Oriented Programming, 417\u2013477, MIT Press, 1987."},{"issue":"4","key":"13_CR10","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1007\/BF01642507","volume":"3","author":"R. Hennicker","year":"1991","unstructured":"R. Hennicker: Context induction: a proof principle for behavioural abstractions and algebraic implementations. Formal Aspects of Computing 3 (4), 326\u2013345, 1991.","journal-title":"Formal Aspects of Computing"},{"key":"13_CR11","unstructured":"R. Hennicker, C. Schmitz: Object-oriented implementation of abstract data type specifications. Extended version of this paper. Available by WWW: http:\/\/www.pst.informatik.unimuenchen.de\/\u223chennicke\/, 1996."},{"key":"13_CR12","unstructured":"R. Jungclaus, G. Saake, T. Hartmann and C. Sernadas: Object-oriented specification of information systems: The TROLL language. Informatik-Bericht 91-04, Technische Universit\u00e4t Braunschweig, 1991."},{"key":"13_CR13","volume-title":"El\u00e9ments de Logique Mathematique","author":"G. Kreisel","year":"1967","unstructured":"G. Kreisel, J. L. Krivine: El\u00e9ments de Logique Mathematique. Dunod (Paris), 1967."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"U. Lechner, C. Lengauer and M. Wirsing: An object-oriented airport: specification and refinement in Maude. In: E. Astesiano, G. Reggio, A. Tarlecki (eds.): Recent Trends in Data Type Specification, Springer Lecture Notes in Computer Science 906, 351\u2013367, 1995.","DOI":"10.1007\/BFb0014438"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"J. Meseguer: A logical theory of concurrent objects and its realization in the Maude language. In: G. Agha, P. Wegner and A. Yonezawa (eds.): Research Directions in Object-Based Concurrency, MIT Press, 314\u2013390, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"issue":"2","key":"13_CR16","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/24686.24694","volume":"22","author":"B. Meyer","year":"1987","unstructured":"B. Meyer: Programming for reusability and extendibility. Sigplan Notices 22 (2), 85\u201394, 1987.","journal-title":"Sigplan Notices"},{"key":"13_CR17","unstructured":"B. Meyer: Eiffel: the language. Prentice Hall International, 1992."},{"key":"13_CR18","unstructured":"G. Malcolm, J. A. Goguen: Proving correctness of refinement and implementation. Technical Monograph PRG-114, Oxford University Computing Laboratory, 1994."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"P. Nivela, F. Orejas: Initial behaviour semantics for algebraic specifications. In: D. T. Sannella, A. Tarlecki (eds.): Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Springer Lecture Notes in Computer Science 332, 184\u2013207, 1988.","DOI":"10.1007\/3-540-50325-0_10"},{"key":"13_CR20","series-title":"International Series of Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial computability, algebraic specifications, and partial algebras","author":"H. Reichel","year":"1987","unstructured":"H. Reichel: Initial computability, algebraic specifications, and partial algebras. International Series of Monographs in Computer Science No. 2, Oxford: Clarendon Press, 1987."},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. T. Sannella","year":"1988","unstructured":"D. T. Sannella, A. Tarlecki: Toward formal development of programs from algebraic specifications: implementation revisited. Acta Informatica 25, 233\u2013281, 1988.","journal-title":"Acta Informatica"},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"42","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing: Structured algebraic specifications: a kernel language. Theoretical Computer Science 42, 123\u2013249, 1986.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014314","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T02:23:00Z","timestamp":1706754180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014314"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614630","9783540685951"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0014314","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}