{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:52Z","timestamp":1725663172328},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_70","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:58:07Z","timestamp":1330203487000},"page":"225-235","source":"Crossref","is-referenced-by-count":8,"title":["Proving correctness of constructor implementations"],"prefix":"10.1007","author":[{"given":"Jordi","family":"Farr\u00e9s-Casals","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"18_CR1","unstructured":"J.A.Bergstra, J.Heering, P.Klint. Module algebra. Centrum voor Wiskunde en Informatica, Report CS-R8617, 1986."},{"key":"18_CR2","unstructured":"R.Burstall. Inductively defined functions in functional programming languages. Report CSR-230-87, Dept. of Computer Science, Univ. of Edinburgh."},{"key":"18_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0304-3975(82)80001-7","volume":"20","author":"H. Ehrig","year":"1982","unstructured":"H. Ehrig, H.-J. Kreowski, B. Mahr, P. Padawitz. Algebraic implementation of abstract data types. Theoretical Computer Science 20 (1982) p. 209\u2013263.","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"H.Ehrig, E.Wagner, J.Thatcher. Algebraic specifications with generating constraints. In 10th ICALP 1983, Barcelona. LNCS 154, p. 188\u2013202.","DOI":"10.1007\/BFb0036909"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"J.Farr\u00e9s-Casals. Proving correctness of constructor implementations. LFCS Report Series 89-72, University of Edinburgh, 1989.","DOI":"10.1007\/3-540-51486-4_70"},{"key":"18_CR6","unstructured":"J.Goguen, R.Burstall. CAT, a system for the structured elaboration of correct programs from structured specifications. SRI International, Technical Report CSL-118, 1980."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"J.Goguen, R.Burstall. Introducing Institutions. Proc. Workshop on Logic of Programs. LNCS 140. Springer 1984. p. 221\u2013256.","DOI":"10.1007\/3-540-12896-4_366"},{"key":"18_CR8","first-page":"377","volume":"159","author":"D. Sannella","year":"1983","unstructured":"D. Sannella, R. Burstall. Structured theories in LCF. Proc. 8th Colloq. on Trees in Algebra and Programming. L'Aquila, Italy. LNCS 159 (1983), p. 377\u2013391.","journal-title":"LNCS"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Specifications in an arbitrary institution. Information and Computation 76 (1988), p. 165\u2013210.","journal-title":"Information and Computation"},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Towards formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica 25 (1988), p. 233\u2013281.","journal-title":"Acta Informatica"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"D.Sannella, A.Tarlecki. Toward formal development of ML programs: foundations and methodology. Proc. Colloq. on Current Issues in Programming Languages, Barcelona, March 1989, Springer LNCS 352.","DOI":"10.1007\/3-540-50940-2_48"},{"key":"18_CR12","first-page":"413","volume":"158","author":"D. Sannella","year":"1983","unstructured":"D. Sannella, M. Wirsing. A kernel language for algebraic specification and implementation. Proc. Intl. Conf. on Foundations of Computation Theory, Borgholm, Sweden. Springer LNCS 158, p. 413\u2013427, 1983.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:24Z","timestamp":1605648084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}