{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:37Z","timestamp":1725663157481},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_67","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:59:07Z","timestamp":1330171147000},"page":"142-156","source":"Crossref","is-referenced-by-count":17,"title":["Algebraic implementation of abstract data types: concept, syntax, semantics and correctness"],"prefix":"10.1007","author":[{"given":"H.","family":"Ehrig","sequence":"first","affiliation":[]},{"given":"H. -J.","family":"Kreowski","sequence":"additional","affiliation":[]},{"given":"P.","family":"Padawitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"14_CR1","series-title":"IBM Research Report","first-page":"80","volume-title":"Current Trends in Programming Methodology, IV: Data Structuring","author":"J. A. Goguen","year":"1978","unstructured":"Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC-6487, 1976; and in: Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh Ed.), Prentice Hall, New Jersey, 1978, 80\u2013144"},{"key":"14_CR2","unstructured":"Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc.Int.Conf. Artif.Intelligence, Boston, 1977"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-08921-7_64","volume":"64","author":"H.-D. Ehrich","year":"1978","unstructured":"Ehrich, H.-D.: Extensions and Implementations of Abstract Data Type Specifications, Proc.Conf.MFCS'78, Zakopane, Springer Lect.Not. in Comp. Sci. 64, 1978, 155\u2013163","journal-title":"Zakopane, Springer Lect.Not. in Comp. Sci."},{"key":"14_CR4","volume-title":"On the Theory of Specification, Implementation and Parametrization of Abstract Data Types","author":"H.-D. Ehrich","year":"1978","unstructured":"\u2014: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Uni. Dortmund, 1978"},{"key":"14_CR5","volume-title":"Stepwise Specification and Implementation of Abstract Data Types","author":"H. Ehrig","year":"1978","unstructured":"Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc.5.Int.Colloq.on Automata, Languages and Programming, Udine 1978"},{"key":"14_CR6","unstructured":"\u2014: Algebraische Implementierung abstrakter Datentypen, Forschungsbericht Nr. 79-3, TU Berlin, FB 20, 1979"},{"key":"14_CR7","unstructured":"\u2014: Completeness in Algebraic Specifications, to appear in Bull. EATCS no. 11, 1980"},{"key":"14_CR8","unstructured":"\u2014: A Case Study of Abstract Implementations and Their Correctness, to appear in Proc. Int. Symp. on Programming, Paris 1980"},{"key":"14_CR9","unstructured":"Ehrig, E.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc.4, Int.Conf.on Very Large Data Bases, Berlin, 1978"},{"key":"14_CR10","unstructured":"Ehrig, H.-Mahr, B.: A Complexity of Implementations on the Level of Algebraic Specifications, to appear in Proc. STOC'80"},{"key":"14_CR11","unstructured":"Goguen, J.A.: Abstract Errors for Abstract Data Types, Proc.IFIP Working Conf. on Formal Description of Programming Concepts, St.Andrews, New Brunswick, Aug. 1977, and in: Formal Description of Progr. Concepts, ed.by E.J.Neuhold, North-Holland, 1978, 491\u2013522"},{"key":"14_CR12","volume-title":"Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept.","author":"J. A. Goguen","year":"1978","unstructured":"Goguen, J.A.-Nourani, F.: Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept., UCLA, Los Angeles, 1978"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Guttag, J.V.: Abstract Data Types and the Development of Data Structures Supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March 1976","DOI":"10.1145\/800237.807124"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Koch, W.: SPEZI \u2014 eine Sprache zur Formulierung von Spezifikationen, Proc. GI-9.Jahrestagung, Bonn 1979, Informatik-Fachberichte 19, Springer-Verlag, 1979, 132\u2013138","DOI":"10.1007\/978-3-642-67444-0_13"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Lehmann, D.H.-Smyth, M.B.: Data Types, Univ.of Warwick, Dept. of Comp. Sci., Report No.19, 1977, and Proc.18th IEEE Symp.on Found.of Computing, Providende, R.I., Nov. 77, 7\u201312","DOI":"10.1109\/SFCS.1977.10"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. 10 SIGACT Symp.on Theory of Computing, San Diego, 1978, 119\u2013132","DOI":"10.1145\/800133.804340"},{"key":"14_CR17","unstructured":"Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana Univ., Comp. Sci. Dept., Technical Report No. 65, 1977"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:02:18Z","timestamp":1605625338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}