{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:42Z","timestamp":1725663162569},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:59:31Z","timestamp":1330189171000},"page":"310-323","source":"Crossref","is-referenced-by-count":10,"title":["Terminal algebra semantics and retractions for abstract data types"],"prefix":"10.1007","author":[{"given":"G\u00fcnter","family":"Hornung","sequence":"first","affiliation":[]},{"given":"Peter","family":"Raulefs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"27_CR1","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B. (ADJ-authors). A junction between computer science and category theory. IBM Research Report RC-4526, Sept. 1973."},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"(ADJ authors). Initial algebra semantics and continuous algebras. IBM Research Report RC-5701, Nov. 1975 and JACM:24 (1977) 68\u201395.","DOI":"10.1145\/321992.321997"},{"key":"27_CR3","unstructured":"(ADJ authors). Specification of abstract data types using conditional axioms. IBM Research Report RC-6214, Sept. 1976."},{"key":"27_CR4","unstructured":"(ADJ authors). Data type specification: parametrization and the power of specification techniques. Proc. SIGACT 10th Ann. Symp. Thy. of Comp. (78)."},{"key":"27_CR5","unstructured":"Birtwistle, Dahl, Myhrhaug, Nygaard. SIMULA Begin. Studentlitteratur. Stockholm 1973."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6hm, H.P., Fischer, H.L., Raulefs, P. CSSA:Language concepts and programming methodology. Proc. Symp. PL & AI (Rochester 77)100\u2013109.","DOI":"10.1145\/872736.806938"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Broy, M., Dosch, W., Partsch, H., Pepper, P., Wirsing, M. Existential Quantifiers in Abstract Data Types. Proc. 6thICALP (Graz 1979).","DOI":"10.1007\/3-540-09510-1_7"},{"key":"27_CR8","unstructured":"Ehrig, H., Kreowski, H.-J., Padawitz, P., Algebraische Implementierung abstrakter Datentypen. Bericht Nr. 79-3. TU Berlin, Inst.Software&Theor.Inf."},{"key":"27_CR9","unstructured":"Guttag, J.V. Specification and application to programming of abstract data types. Tech. Rept. CSRG-59 (1975), University of Toronto."},{"key":"27_CR10","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R. Abstract data types and software validation. Tech. Rept. ISI\/RR-76-48. Inform. Sci. Inst.\/USC."},{"key":"27_CR11","unstructured":"Guttag, J.V., Horowitz, E., Musser, D.R. The design of data type specifications, Tech. Rept. ISI\/RR-76-49. USC Information Sciences Institute."},{"key":"27_CR12","unstructured":"Hornung, G. Einige Probleme der Algebrasemantik abstrakter Datentypen. SEKI-Projekt, Memo SEKI-BN-79-7 (1979)"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Hornung, G., Raulefs, P. Terminal Algebra Semantics and Retractions for Abstract Data Types. SEKI-Projekt, Memo SEKI-BN-79-6 (1979).","DOI":"10.1007\/3-540-10003-2_80"},{"key":"27_CR14","unstructured":"London, R., Shaw, M., Wulf, W. An informal definition of Alphard. Tech. Rept. Dept. of Computer Science, Carnegie-Mellon U (1976)."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Liskov, B., Zilles, S. Programming with abstract data types. Proc. ACM\/SIGPLAN Symp. Very High Level Languages. SIGPLAN Notices:9(74) 50\u201359.","DOI":"10.1145\/800233.807045"},{"key":"27_CR16","unstructured":"Plotkin, G. TT\u03c9 as a universal domain. Research Rept. No. 28. Dept. of Artificial Intelligence, Univ. of Edinburgh (1977)."},{"key":"27_CR17","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1137\/0205037","volume":"5","author":"D. Scott","year":"1976","unstructured":"Scott, D. Data types as lattices. SIAM J. of Computing:5(1976) 522\u2013587.","journal-title":"SIAM J. of Computing"},{"key":"27_CR18","unstructured":"Wand, M. Final algebra semantics and data type extensions (revised). Tech. Rept. No. 65, Comp. Sci. Dept., Indiana Univ. (1978)."}],"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_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T01:05:44Z","timestamp":1640912744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}