{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:08Z","timestamp":1725663368066},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:55:02Z","timestamp":1330192502000},"page":"300-316","source":"Crossref","is-referenced-by-count":9,"title":["Characterizing specification languages which admit initial semantics"],"prefix":"10.1007","author":[{"given":"B.","family":"Mahr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. A.","family":"Makowsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"18_CR1","unstructured":"Goguen, J., Thatcher, J., Wagner, E., Wright, J.B.: \"Abstract Data Types as Initial Algebras and Correctness of Data Representations\", Proc. Conf. on Comp. Graphics, Pattern Recognition and Data Structures, May 1975, pp. 89\u201393."},{"key":"18_CR2","first-page":"80","volume-title":"Abstract Data Types as Initial Algebras and Correctness of Data Representations, Current Trends in Programming Methodology, Vol. 4","author":"J. Goguen","year":"1978","unstructured":"Goguen, J., Thatcher, J., Wagner, E.: Abstract Data Types as Initial Algebras and Correctness of Data Representations, Current Trends in Programming Methodology, Vol. 4 (R. Yeh, ed.), Prentice Hall, N.Y., 1978, pp. 80\u2013149."},{"key":"18_CR3","unstructured":"Andreka,H. and Nemeti,I.: Generalisation of variety and quasivariety concepts to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Math.) 204 (1982)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Broy, M., Tucker, J.W., Wirsing, M.: On the Power of Algebraic Specifications, Proceedings of the MFCS'81, Springer Lecture Notes 118 (1981)","DOI":"10.1007\/3-540-10856-4_85"},{"key":"18_CR5","unstructured":"Barwise,J. and Feferman,S.; Higher Model Theory: Logic of Mathematical Concepts, Springer 1983"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.; The Semantics of CLEAR, a Specification Language, Proc. of 1979 Copenhagen Winter School on Abstract Software Specifications.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"18_CR7","unstructured":"Burstall, R.M., Goguen, J.A.; Institutions: Abstract model theory for program specification, unpublished draft, Stanford 1983."},{"issue":"2","key":"18_CR8","first-page":"149","volume":"2","author":"B. Banaschewski","year":"1976","unstructured":"Banaschewski, B. and Herrlich, H.; Subcategories defined by implications, Houston Journal of Mathematics 2.2 (1976) pp. 149\u2013171","journal-title":"Houston Journal of Mathematics"},{"key":"18_CR9","first-page":"556","volume":"9","author":"G. V. Cudnovskii","year":"1968","unstructured":"Cudnovskii, G.V.; Some results in the theroy of infinitely long expressions, Soviet Math.Dokl. 9 (1968) pp.556\u2013559","journal-title":"Soviet Math.Dokl."},{"key":"18_CR10","unstructured":"Carvalho, R.L.de, Maibaum, T.S.E., Pequeno, T.H.C., Pereda, A.A. and Veloso, P.A.S.; A Model Theoretic Approach to the Theory of Abstract Data Types and Data Structures. Research Report CS-80-22, Waterloo, Ontario, 1980."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H.; Algebraic Theory of Parametrized Specifications with Requirements, Proceedings of the CAAP'81, Springer-Lecture Notes, No.112 (1981)","DOI":"10.1007\/3-540-10828-9_51"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Kreowski, H.J., Thatcher, J.W., Wagner, E.G. and Wright, J.B.; Parametrized Data Types in Algebraic Specification Languages, Proceedings of the 7th ICALP'80, LNCS 85 pp. 157\u2013168, Springer 1980","DOI":"10.1007\/3-540-10003-2_68"},{"key":"18_CR13","unstructured":"Ehrig, H., Kreowski, H.J., Mahr, B. and Padawitz, P.; Algebraic Implementation of Abstract Data Types, to appear in TCS, Fall '82."},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Gratzer, G.; Universal Algebra, 2nd ed., Springer 1979","DOI":"10.1007\/978-0-387-77487-9"},{"key":"18_CR15","unstructured":"Guttag, J.V.; The Specification and Application to Programming of Abstract Data Types, TR. CSRG-59, Toronto, 1975."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Hornung, G. and Raulefs, P.: Initial and Terminal Algebra Semantics of Parametrized Abstract Data Type Specifications with Inequalities. Proceedings of the CAAP'81, LNCS No. 112, Springer 1981","DOI":"10.1007\/3-540-10828-9_65"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Kamin, S.: \"Some Definitions for Algebraic Data Type Specifications\", SIGPLAN Notices 14 (3), 1979.","DOI":"10.1145\/988071.988075"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Kamin, S.; Final Data Type Specifications: A New Data Type Specification Method, Proc. of the 7th POPL-Conference, 1980.","DOI":"10.1145\/567446.567459"},{"key":"18_CR19","first-page":"50","volume":"9","author":"B. H. Liskov","year":"1974","unstructured":"Liskov, B.H. and Zilles, Z.M.: Programming with Abstract Data Types, Proc. ACM Symp. on Very High Level Languages, SIGPLAN Notices, 9, 1974, pp. 50\u20139","journal-title":"Proc. ACM Symp"},{"key":"18_CR20","first-page":"27","volume":"66","author":"A. I. Mal'cev","year":"1971","unstructured":"Mal'cev, A.I.: Quasiprimitive Classes of Abstract Algebras, in the Metamathematics of Algebraic Systems, Studies in Logic, Vol. 66. North-Holland, 1971, pp. 27\u201331.","journal-title":"in the Metamathematics of Algebraic Systems, Studies in Logic"},{"key":"18_CR21","unstructured":"Makowsky,J.A.; Model theoretic issues in theoretical computer science, to appear in the proceedings of the \"Logic Colloquium '82\", Florence 1982"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Mahr, B. and Makowsky, J.A.: An axiomatic approach to semantics of specification languages, in \"Theoretical Computer Science\", 6th GI-Conference, Dortmund 1983, Lecture Notes in Computer Science vol. 145, pp. 211\u2013219, Heidelberg 1983","DOI":"10.1007\/BFb0009646"},{"issue":"1","key":"18_CR23","first-page":"20","volume":"2","author":"A. Selman","year":"1972","unstructured":"Selman, A.: Completeness of Calculii for Axiomatically Defined Classes of Algebras, Algebra Universalis, Vol.2, Fasc. 1, 1972, pp. 20\u201332.","journal-title":"Completeness of Calculii for Axiomatically Defined Classes of Algebras, Algebra Universalis"},{"key":"18_CR24","unstructured":"Wand,M.: Final Algebra Semantics and Data Type Extensions, Indiana TR65 (1978)"}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:39:46Z","timestamp":1687282786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}