{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:08Z","timestamp":1725456128077},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022512","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"291-304","source":"Crossref","is-referenced-by-count":9,"title":["Abstract implementation of abstract data types"],"prefix":"10.1007","author":[{"given":"Ulrich L.","family":"Hupbach","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"J.A.Goguen, J.W.Thatcher, E.G.Wagner: An initial algebra approach to the specification, correctness and implementation of abstract data types, in Current trends in programming methodology Vol. IV (ed. R.T.Jeh), Prentice-Hall 1978"},{"key":"21_CR2","unstructured":"R.M.Burstall, J.A.Goguen: Putting Theories Together to Make Specifications, 5th Int.Joint Conf.on AI, p.1045\u20131058, 1977"},{"key":"21_CR3","unstructured":"K.Bothe: Spezifikation und Verifikation abstrakter Datentypen, Akademie der Wissenschaften, ZfR-Informationen 78.11, Berlin1978"},{"key":"21_CR4","first-page":"155","volume":"64","author":"H.-D. Ehrich","year":"1978","unstructured":"H.-D. Ehrich: Extensions and Implementations of Abstract Data Type Specifications, LNCS 64(1978),p.155\u2013164","journal-title":"LNCS"},{"key":"21_CR5","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, Dortmund 1978"},{"key":"21_CR6","unstructured":"H. Ehrig, H.-J. Kreowski, P. Padawitz: Algebraische Implementierung abstrakter Datentypen, Tu Berlin FB Informatik, Bericht Nr. 79\u20133, 1979"},{"key":"21_CR7","unstructured":"H.Ehrig, H.-J.Kreowski, J.Thatcher, E.Wagner, J.Wright: Parameterized Data Types in Algebraic Specification Languages, 7th Int.Colloqu. Automata, Languages and Programming"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1002\/malq.19730191901","volume":"19","author":"J. Ershov","year":"1973","unstructured":"Ju.L. Ershov: Theorie der Nummerierungen I, Z.math.Logik Grundl. Mathematik 19(1973),p.289 ff","journal-title":"Z.math.Logik Grundl. Mathematik"},{"key":"21_CR9","unstructured":"J. Goguen: Some Ideas in Algebraic Semantics, 4th IBM-Japan Symp. on Math. Foundations of Comp. Sci., Kobe, Japan 1978"},{"key":"21_CR10","unstructured":"J.A.Goguen, J.Tardo: OBJ-O Preliminary Users Manual, UCLA, Semantics and Theory of Computation Report No. 10, 1977"},{"key":"21_CR11","unstructured":"\u2014: An Introduction to OBJ, UCLA, Los Angeles 1979"},{"key":"21_CR12","unstructured":"J.V.Guttag: The Specification and Application to Programming of Abstract Data Types, Univ.of Toronto, Report CSRG-59, 1975"},{"key":"21_CR13","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"J.V. Guttag, E. Horowitz, D.R. Musser: Abstract Data Types and Software Validation, CACM 21(1978),p.1048\u20131064","journal-title":"CACM"},{"key":"21_CR14","unstructured":"U.L. Hupbach, H. Kaphengst, H. Reichel: Initial Algebraic Specification of Data Types, Parameterized Data Types and Algorithms, VEB Robotron ZFT, Techn.Report, Dresden 1980"},{"key":"21_CR15","unstructured":"U.L.Hupbach, H.Reichel: Abstrakte Spezifikation von Datenbanken und Anfragen an Datenbanken, Problemseminar Datenbanken, Schriftenreihe des Weiterbildungszentr., TU Dresden 1980"},{"key":"21_CR16","unstructured":"U.L.Hupbach: A Uniform Mathematical Framework for Initial Algebraic Specifications, VEB Robotron ZFT, Techn.Report, 1979"},{"key":"21_CR17","unstructured":"H. Kaphengst: Was ist berechenbar f\u00fcr abstrakte Datentypen?, VEB Robotron ZFT, Techn. Report, Dresden 1980"},{"key":"21_CR18","unstructured":"H.Kaphengst, H.Reichel: Algebraische Algorithmentheorie, VEB Robotron ZFT, Wiss.Inf.u.Berichte Nr.1, Dresden 1971"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"H.Kaphengst, H.Reichel: Initial Algebraic Semantics for Non-Contextfree Languages, LNCS 56,p.120\u2013126","DOI":"10.1007\/3-540-08442-8_77"},{"key":"21_CR20","unstructured":"H.Reichel: Theorie der \u00c4quoide, Dissertation B, Humboldt-Universit\u00e4t Berlin, Sektion Mathematik, 1979"},{"key":"21_CR21","unstructured":"\u2014: Initially-Restricting Algebraic Theories, MFCS'80, LNCS (this volume)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:21:53Z","timestamp":1586578913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022512"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0022512","relation":{},"subject":[]}}