{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:05Z","timestamp":1725662825688},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:35:42Z","timestamp":1330169742000},"page":"155-164","source":"Crossref","is-referenced-by-count":10,"title":["Extensions and implementations of abstract data type specifications"],"prefix":"10.1007","author":[{"given":"H. -D.","family":"Ehrich","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1977","unstructured":"ADJ (J.A. Goguen,J.W. Thatcher,E.G. Wagner,J.B. Wright): Initial algebra semantics and continuous algebras. J.ACM 24(1977), 68\u201395","journal-title":"J.ACM"},{"key":"13_CR2","unstructured":"ADJ (GTWa): An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current trends in progr. methodology IV, ed. by R.Yeh, Prentice Hall, New Jersey"},{"key":"13_CR3","unstructured":"ADJ (TWaWr): Specification of abstract data types using conditional axioms (extended abstract). IBM Res. Report RC-6214, 1976"},{"key":"13_CR4","volume-title":"Arrows, structures, and functors","author":"M. A. Arbib","year":"1975","unstructured":"Arbib, M.A.-Manes, E.G.: Arrows, structures, and functors. Academic Press, New York 1975"},{"key":"13_CR5","volume-title":"Inst. of Appl. Math. and Comp. Sc.","author":"J. Bergstra","year":"1977","unstructured":"Bergstra, J.: What is an abstract data type? Report No. 77-12, Inst. of Appl. Math. and Comp. Sc., Univ. of Leiden, The Netherlands, 1977"},{"key":"13_CR6","volume-title":"Putting theories together to make specifications","author":"R. M. Burstall","year":"1977","unstructured":"Burstall, R.M.-Goguen, J.A.: Putting theories together to make specifications. Proc. 5th IJCAI-77, MIT, Cambridge, Mass. 1977"},{"key":"13_CR7","volume-title":"Lecture Notes in Comp. Sc. 56","author":"H.-D. Ehrich","year":"1977","unstructured":"Ehrich, H.-D.: Algebraic semantics of type definitions and structured variables. Proc. FCT'77, ed. by M. Karpi\u0144ski, Lecture Notes in Comp. Sc. 56, Springer-Verlag, Berlin 1977"},{"key":"13_CR8","volume-title":"Proc. Workshop \"Graphentheoretische Konzepte in der Informatik\"","author":"H.-D. Ehrich","year":"1977","unstructured":"Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen. Proc. Workshop \"Graphentheoretische Konzepte in der Informatik\", ed. by J. M\u00fchlbacher, Hanser-Verlag, M\u00fcnchen 1977"},{"key":"13_CR9","unstructured":"Ehrich,H.-D.: On the theory of specification, parametric specification, and implementation of abstract data types. To be published"},{"key":"13_CR10","volume-title":"Some remarks concerning correct specification and implementation of abstract data types","author":"H. Ehrig","year":"1977","unstructured":"Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some remarks concerning correct specification and implementation of abstract data types. Bericht Nr. 77-13, Techn. Univ. Berlin, FB 20, 1977"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise specification and implementation of abstract data types. Internal Report, Techn. Univ. Berlin, FB 20, 1977","DOI":"10.1007\/3-540-08860-1_16"},{"key":"13_CR12","first-page":"576","volume-title":"Lecture Notes in Comp. Sc. 45","author":"V. Giarratana","year":"1976","unstructured":"Giarratana, V.-Gimona, F.-Montanari, U.: Observability concepts in abstract data type specification. Proc. 5th MFCS, ed. by A. Mazurkiewicz, Lecture Notes in Comp. Sc. 45, Springer-Verlag, Berlin 1976, 576\u2013587"},{"key":"13_CR13","volume-title":"Lecture Notes in Comp. Sc.","author":"J. A. Goguen","year":"1975","unstructured":"Goguen, J.A.: Correctness and equivalence of data types. Proc. 1975 Conf. on Algebraic Systems, Lecture Notes in Comp. Sc., Springer-Verlag, Berlin 1975"},{"key":"13_CR14","unstructured":"Guttag, J.V.: The specification and application to programming of abstract data types. Tech. Report CSRG-59, Univ. of Toronto, 1975"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Lehmann,D.J.-Smith,M.B.: Data types. The University of Warwick, Theory of Computation Report No. 19, May 1977","DOI":"10.1109\/SFCS.1977.10"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"SE-1","author":"B. H. Liskov","year":"1975","unstructured":"Liskov, B.H.-Zilles, S.N.: Specification techniques for data abstractions. IEEE Transactions on Software Engineering, Vol. SE-1 (1975), 7\u201319","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR17","unstructured":"Majster,M.E.: Data types, abstract data types and their specification problem. Report TUM-INFO-7740, Techn. Univ. M\u00fcnchen, 1977"},{"key":"13_CR18","first-page":"37","volume":"12","author":"M. E. Majster","year":"1977","unstructured":"Majster, M.E.: Limits of the algebraic specification of data types. SIGPLAN Notices 12 (1977), 37\u201342","journal-title":"SIGPLAN Notices"},{"key":"13_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9860-1","volume-title":"Algebraic theories","author":"E. G. Manes","year":"1976","unstructured":"Manes, E.G.: Algebraic theories. Springer-Verlag, New York 1976"},{"key":"13_CR20","unstructured":"Mosses, P.: Making denotational semantics less concrete. Proc. Bad Honnef Workshop on Semantics of Programming Languages, Bericht Nr. 41, Abteilung Informatik, Univ. Dortmund, 1976"},{"key":"13_CR21","unstructured":"Reusch, B.: Zur Realisierung von Automaten \u00fcber Algebren. Berichte der GMD Band 38, Bonn 1971"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1145\/322017.322028","volume":"24","author":"J. C. Reynolds","year":"1977","unstructured":"Reynolds, J.C.: Semantics of the domain of flow diagrams. J.ACM 24 (1977), 484\u2013503","journal-title":"J.ACM"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. S. Scott","year":"1976","unstructured":"Scott, D.S.: Data types as lattices. SIAM J. of Computing, Vol.5 (1976), 522\u2013587","journal-title":"SIAM J. of Computing"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Thatcher,J.W.-Wagner,E.G.-Wright,J.B.: Data type specification: parametrization and the power of specification techniques. (Extended abstract). Internal Report, Yorktown Heights 1977","DOI":"10.1145\/800133.804340"},{"key":"13_CR25","series-title":"Tech. Report","volume-title":"First-order identities as a defining language","author":"M. Wand","year":"1976","unstructured":"Wand, M.: First-order identities as a defining language. Tech. Report No. 29. Comp. Sc. Dept. Indiana University, Bloomginton 1976"},{"key":"13_CR26","series-title":"Tech. Report","volume-title":"Efficient axioms for algebra semantics","author":"M. Wand","year":"1975","unstructured":"Wand, M.: Efficient axioms for algebra semantics. Tech. Report No. 42, Comp. Sc. Dept. Indiana University, Bloomington 1975"},{"key":"13_CR27","unstructured":"Zilles,S.N.: Algebraic specification of data types. MIT Project MAC, Computation Structures Group Memo 119, 1975"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:56:21Z","timestamp":1619542581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}