{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:38Z","timestamp":1725663398746},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540176602"},{"type":"electronic","value":"9783540477464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17660-8_51","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:17:23Z","timestamp":1330197443000},"page":"111-122","source":"Crossref","is-referenced-by-count":2,"title":["Finite algebraic specifications of semicomputable data types"],"prefix":"10.1007","author":[{"given":"G.","family":"Marongiu","sequence":"first","affiliation":[]},{"given":"S.","family":"Tulipani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"9_CR1","unstructured":"J.A. GOGUEN, J.W. THATCHER, E.G. WAGNER and J.B. WRIGHT, Abstract data types as initial algebras and correctness of data representations, in Proceedings ACM Conference on Computer Graphics, Pattern Recognition and Data Structure, NY 1975, 89\u201393."},{"key":"9_CR2","unstructured":"J.A. GOGUEN, J.W. THATCHER and E.G. WAGNER, An initial algebra approach to the specification, correctness and implementation of abstract data types, Current trends in Programming Methodology, Vol. 4: Data Structuring (R.T. Yeh, ed.), Prentice-Hall (1978), 80\u2013149."},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1145\/69622.357192","volume":"4","author":"J.W. Thatcher","year":"1982","unstructured":"J.W. THATCHER, E.G. WAGNER and J.B. WRIGHT, Data type specification: parametrization and the power of specification technique, TOPLAS 4(4), 1982, 711\u2013732.","journal-title":"TOPLAS"},{"key":"9_CR4","volume-title":"The lambda calculus, its syntax and semantics","author":"H.P. Barendregt","year":"1981","unstructured":"H.P. BARENDREGT, The lambda calculus, its syntax and semantics, North-Holland, Amsterdam 1981."},{"key":"9_CR5","unstructured":"J.A. BERGSTRA and J.V. TUCKER, On bounds for the specification of finite data types by means of equations and conditional equations, preprint IW 131\/80 Amsterdam 1980."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1137\/0212024","volume":"12","author":"J.A. Bergstra","year":"1983","unstructured":"J.A. BERGSTRA and J.V. TUCKER, Initial and final algebra semantics for data type specifications: two characterization theorems\", SIAM J. of Computing 12 (1983), 366\u2013387.","journal-title":"SIAM J. of Computing"},{"key":"9_CR7","unstructured":"J.A. BERGSTRA and J.V. TUCKER, Algebraic specifications of Computable and Semicomputable Data Types, Department Computer Science Research Report CS-R8619, Amsterdam (May 1986)."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"H. EHRIG and B. MAHR, Fundamentals of Algebraic Specification 1, Monograph EATCS, Springer-Verlag 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"G. GRATZER, Universal Algebra, 2nd ed. Springer-Verlag, 1979.","DOI":"10.1007\/978-0-387-77487-9"},{"volume-title":"To. H.B. Curry: Essays on combinatory logic, lambda-calculus and formalism","year":"1980","key":"9_CR10","unstructured":"J.R. HINDLEY and J.P. SELDIN (Eds.), To. H.B. Curry: Essays on combinatory logic, lambda-calculus and formalism, Academic Press, NY 1980."},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B.H. Liskov","year":"1974","unstructured":"B.H. LISKOV and S.M. ZILLES, Programming with Abstract Data Types, Proc. ACM Symp. on very high level languages, SIGPLAN Notices 9, (1974), 50\u201359.","journal-title":"Proc. ACM Symp. on very high level languages, SIGPLAN Notices"},{"key":"9_CR12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TSE.1975.6312816","volume":"1","author":"B. Liskov","year":"1975","unstructured":"B. LISKOV and S. ZILLES, Specification techniques for data abstractions, IEEE Transactions on Software Engineering 1 (1975), 7\u201319.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR13","unstructured":"A.I. MAL'CEV, Constructive algebras I, The Metamathemathics of Algebraic Systems, Collected papers: 1936\u20131967, North-Holland."},{"key":"9_CR14","unstructured":"G. MARONGIU and S. TULIPANI, Remarks on complexity in specifying computable types, in preparation."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"J. MALITZ, Introduction to Mathematical Logic, Springer-Verlag, 1979.","DOI":"10.1007\/978-1-4613-9441-9"},{"key":"9_CR16","first-page":"341","volume":"95","author":"M.O. Rabin","year":"1960","unstructured":"M.O. RABIN, Colputable algebra, general theory and the theory of computable fields, Trans. Amer. Math. Soc. 95 (1960), 341\u2013360.","journal-title":"Trans. Amer. Math. Soc."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0022-0000(79)90011-4","volume":"19","author":"M. Wand","year":"1979","unstructured":"M. WAND, Final algebra semantics and data type extensions, J. Computer and Ststems Sciences 19 (1979), 27\u201344.","journal-title":"J. Computer and Ststems Sciences"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-10007-5_39","volume":"86","author":"S. Zilles","year":"1979","unstructured":"S. ZILLES, An introduction to data algebras Lect. Notes in Comp. Sci. 86, (1979), 248\u2013270.","journal-title":"Lect. Notes in Comp. Sci."}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17660-8_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T17:46:50Z","timestamp":1687283210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17660-8_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540176602","9783540477464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-17660-8_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}