{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:00Z","timestamp":1725663420590},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509394"},{"type":"electronic","value":"9783540461166"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50939-9_139","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:34:43Z","timestamp":1330202083000},"page":"290-305","source":"Crossref","is-referenced-by-count":3,"title":["Implementation of parameterized observational specifications"],"prefix":"10.1007","author":[{"given":"Rolf","family":"Hennicker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"M. Broy, C. Pair und M. Wirsing: A systematic study of models of abstract data types. Theoretical Computer Science 33, 139\u2013174 (1984).","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"19_CR2","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0167-6423(86)90004-3","volume":"7","author":"M. Broy","year":"1986","unstructured":"M. Broy, B. M\u00f6ller, P. Pepper und M. Wirsing: Algebraic implementations preserve program correctness. Science of Computer Programming 7, 1, 35\u201354 (1986).","journal-title":"Science of Computer Programming"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume":"86","author":"R.M. Burstall","year":"1980","unstructured":"R.M. Burstall, J.A. Goguen: The semantics of Clear, a specification language. Proc. of Advanced Course on Abstract Software Specifications, Kopenhagen. Springer Lecture Notes in Computer Science 86, 292\u2013332 (1980).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BFb0012770","volume":"140","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.J. Kreowski: Parameter passing commutes with implementation of parameterized data types. In: M. Nielsen, E.M. Schmidt (eds.): Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. Springer Lecture Notes in Computer Science 140, 197\u2013211 (1982).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR5","unstructured":"H. Ehrig, B. Mahr: Fundamentals of algebraic specification 1. EATCS Monographs on Theor. Comp. Science, Vol. 6, Springer Verlag (1985)."},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.J. Kreowski, B. Mahr und P. Padawitz: Algebraic implementation of abstract data types. Theoretical Computer Science 20, 209\u2013263 (1982).","journal-title":"Theoretical Computer Science"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"K. Futatsugi, J.A. Goguen, J.P. Jouannaud und J. Meseguer: Principles of OBJ2. Proc. 12th ACM Symposium on Principles of Programming Languages, New Orleans, 52\u201366 (1985).","DOI":"10.1145\/318593.318610"},{"issue":"3","key":"19_CR8","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/2166.357212","volume":"5","author":"H. Ganzinger","year":"1983","unstructured":"H. Ganzinger: Parameterized specifications: parameter passing and implementation with respect to observability. ACM Trans. on Prog. Lang. and Systems 5, 3, 318\u2013354 (1983).","journal-title":"ACM Trans. on Prog. Lang. and Systems"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"A. Geser, H. Hussmann: Experiences with the RAP system \u2014 a specification interpreter combining term rewriting and resolution. In: B. Robinet, R. Wilhelm (eds.): Proc. ESOP 86, Europ. Symp. on Programming, Saarbr\u00fccken, March 1986. Springer Lecture Notes in Computer Science 213, 339\u2013350","DOI":"10.1007\/3-540-16442-1_26"},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1007\/3-540-07854-1_231","volume":"45","author":"V. Giarratana","year":"1976","unstructured":"V. Giarratana, F. Gimona und U. Montanari: Observability concepts in abstract data type specification. In: A. Mazurkiewicz (ed.): Proc. MFCS 76, 5th Internat. Symp. on Mathematical Foundations of Comp. Science, Gdansk, Sept. 1976. Springer Lecture Notes in Computer Science 45, 576\u2013587 (1976).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR11","unstructured":"J.A. Goguen, R.M. Burstall: CAT, a system for the structured elaboration of correct programs from structured specifications. Technical report CSL-118, Computer Science Laboratory, SRI International"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume":"140","author":"J.A. Gouen","year":"1982","unstructured":"J.A. Gouen, J. Meseguer: Universal realization, persistent interconnection and implementation of abstract modules. In: M. Nielsen, E.M. Schmidt (eds.): Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. Springer Lecture Notes in Computer Science 140, 265\u2013281 (1982).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR13","unstructured":"R. Hennicker: Beobachtungsorientierte Spezifikationen. Dissertation, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (1988)."},{"key":"19_CR14","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-662-09691-8_10","volume":"116","author":"R. Hennicker","year":"1985","unstructured":"R. Hennicker, M. Wirsing: Observational specification: a Birkhoff-theorem. In: H.J. Kreowski (ed.): Recent Trends in Data Type Specification. 3rd Workshop on Theory and Appl. of Abstract Data Types, Selected Papers. Informatik Fachberichte 116, 119\u2013135, Springer Verlag (1985).","journal-title":"Informatik Fachberichte"},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-50325-0_10","volume":"332","author":"M. P. Nivela","year":"1988","unstructured":"Ma P. Nivela, F. Orejas: Initial behaviour semantics for algebraic specifications. Proc. 5th Workshop on Algebraic Specifications of Abstract Data Types, Gullane, September 1987, Springer Lecture Notes in Computer Science 332, 184\u2013207 (1988).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR16","unstructured":"P. Pepper: On the correctness of type transformations. Talk at 2nd Workshop on Theory and Appl. of Abstract Data Types, Passau, May 1984."},{"key":"19_CR17","unstructured":"H. Reichel: Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In: M. Arato, L. Varga (eds.): Math. Models in Comp. Systems, Proc. 3rd Hungarian Computer Science Conf., Budapest, January 1981, 27\u201339 (1981)."},{"key":"19_CR18","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-15198-2_20","volume":"185","author":"D.T. Sannella","year":"1985","unstructured":"D.T. Sannella, A. Tarlecki: On observational equivalence and algebraic specification. In: H. Ehrig, C. Floyd, M. Nivat, J. Thatcher (eds.): Proc. TAPSOFT 85, Joint Conf. on Theory and Practice of Software Development, Berlin, March 1985. Springer Lecture Notes in Computer Science 185, 308\u2013322 (1985).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-17660-8_50","volume":"249","author":"D.T. Sannella","year":"1987","unstructured":"D.T. Sannella, A. Tarlecki: Toward formal development of programs from algebraic specifications: implementations revisited. Proc. TAPSOFT 87, Joint Conf. on Theory and Practice of Software Development, Pisa, March 1986. Springer Lecture Notes in Computer Science 249, 96\u2013110 (1987).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR20","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/BFb0012793","volume":"140","author":"D.T. Sannella","year":"1982","unstructured":"D.T. Sannella, M. Wirsing: Implementation of parameterized specification: In: M. Nielsen, E.M. Schmidt (eds.): Proc. ICALP 82, 9th Coll. on Automata, Languages and Programming, Aarhus, July 1982. Springer Lecture Notes in Computer Science 140, 473\u2013488 (1982).","journal-title":"Springer Lecture Notes in Computer Science"},{"key":"19_CR21","unstructured":"O. Schoett: Data abstraction and the correctness of modular programming. Ph.D. thesis, CST-42-87, Department of Comp. Science, University of Edinburgh (1987)."},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"A. Selman: Completeness of calculii for axiomatically defined classes of algebras. Algebra universalis 2","DOI":"10.1007\/BF02945004"},{"key":"19_CR23","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","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50939-9_139.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:06Z","timestamp":1605647946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50939-9_139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509394","9783540461166"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-50939-9_139","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}