{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:22Z","timestamp":1725662842470},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:25:40Z","timestamp":1330190740000},"page":"224-237","source":"Crossref","is-referenced-by-count":8,"title":["Initial and terminal algebra semantics of parameterized abstract data type specifications with inequalities"],"prefix":"10.1007","author":[{"given":"G\u00fcnter","family":"Hornung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Raulefs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"15_CR1","unstructured":"J.A. Goguen \u2014 J.W. Thatcher \u2014 E.G. Wagner \u2014 J.B. Wright, \"A Junction Between Computer Science and Category Theory\", IBM Research Report RC-4526, 1973"},{"key":"15_CR2","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"J.A. Goguen J.W. Thatcher E.G. Wagner J.B. Wright, \"Initial Algebra Semantics and Continuous Algebras\", JACM 24(1977), 68\u201395","journal-title":"JACM"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J.W. Thatcher \u2014 E.G. Wagner \u2014 J.B. Wright, \"Data Type Specification: Parameterization and the Power of Specification Techniques\", Proceedings of the 10th STOC, 1978","DOI":"10.1145\/800133.804340"},{"key":"15_CR4","unstructured":"J.A. Bergstra \u2014 J.V. Tucker, \"A Natural Data Type With a Finite Equational Final Semantics Specification but no Effective Equational Initial Semantics Specification\", Report IW 133\/80, Stichting Mathematisch Centrum, Afdeling Informatica, 1980"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"H. Ehrig \u2014 H.J. Kreowski \u2014 J.W. Thatcher \u2014 E.G. Wagner \u2014 J.B. Wright, \"Parameterized Data Types in Algebraic Specification Languages\", Proceedings of the 7th ICALP, Noordwijkerhout 1980, 157\u2013168","DOI":"10.1007\/3-540-10003-2_68"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig \u2014 H.J. Kreowski \u2014 J.W. Thatcher \u2014 E.G. Wagner \u2014 J.B. Wright, \"Parameter Passing in Algebraic Specification Languages\", Draft Paper 1980","DOI":"10.1007\/3-540-10003-2_68"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J.V. Guttag \u2014 E. Horrowitz \u2014 D.R. Musser, \"The Design of Data Type Specifications\", Technical Report ISI\/RR-76-49, Information Sciences Institute, University of Southern California, 1976","DOI":"10.21236\/ADA034827"},{"key":"15_CR8","unstructured":"U. Guntram, \"Korrekte Implementierung abstrakter Datentypen durch Moduln in h\u00f6heren Programmiersprachen\", Memo SEKI-BN-80-09, Institut f\u00fcr Informatik III, Universit\u00e4t Bonn, 1980"},{"key":"15_CR9","unstructured":"G. Hornung, \"Einige Probleme der Algebrasemantik abstrakter Datentypen\", Memo SEKI-BN-79-07, Institut f\u00fcr Informatik III, Universit\u00e4t Bonn, 1979"},{"key":"15_CR10","unstructured":"G. Hornung \u2014 P. Raulefs, \"Terminal Algebra Semantics and Retractions for Abstract Data Types\", Memo SEKI-BN-79-06, Institut f\u00fct Informatik III, Universit\u00e4t Bonn, 1979"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"G. Hornung \u2014 P. Raulefs, \"Terminal Algebra Semantics and Retractions for Abstract Data Types\", Proceedings of the 7th ICALP, Nordwijkerhout 1980, 310\u2013323 (Summary of [HR 79]).","DOI":"10.1007\/3-540-10003-2_80"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"G. Hornung \u2014 P. Raulefs, \"A Uniform Algebra Semantics of Parameterized Data Type Specifications with Inequalities\", Memo SEKI-BN-81-01, Institut f\u00fcr Informatik III, Universit\u00e4t Bonn, 1981","DOI":"10.1007\/3-540-10828-9_65"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"S. Kamin, \"Final Data Type Specifications: A New Data Type Specification Method\", Proceedings of the 7th POPL Conference, Las Vegas 1980, 131\u2013138","DOI":"10.1145\/567446.567459"},{"key":"15_CR14","unstructured":"M. Wand, \"Final Algebra Semantics and Data Type Extensions\", Technical Report No. 65, Computer Science Department, Indiana University, revised 1978"},{"key":"15_CR15","unstructured":"M. Wirsing \u2014 U. Broy, \"Abstract Data Types as Lattices of Finitely Generated Models\", Proceedings of the 9th International Symposium on MFCS, Springer 1980"}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_65.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:29Z","timestamp":1605643409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}