{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:32Z","timestamp":1725455732598},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605898"},{"type":"electronic","value":"9783540478027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015455","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:32:11Z","timestamp":1131863531000},"page":"58-73","source":"Crossref","is-referenced-by-count":0,"title":["Realizing sets by hash tables"],"prefix":"10.1007","author":[{"given":"Peter","family":"Pepper","sequence":"first","affiliation":[]},{"given":"Ralph","family":"Betschko","sequence":"additional","affiliation":[]},{"given":"Sabine","family":"Dick","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Didrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"3_CR1","unstructured":"Lee Blaine, Li-Mei Gilham, Allen Goldberg, Richard J\u00fcllig, Jim McDonald, and Y. V. Srinivas. SLANG Language Manual. Kestrel Institute, June 1994. draft."},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(86)90004-3","volume":"7","author":"M. Broy","year":"1986","unstructured":"M. Broy, B. M\u00f6ller, P. Pepper, and M. Wirsing. Algebraic implementations preserve program correctness. Science of Computer Programming, (7):35\u201353, 1986.","journal-title":"Science of Computer Programming"},{"key":"3_CR3","first-page":"199","volume-title":"Algebraic methods for program construction:The project CIP","author":"M. Broy","year":"1984","unstructured":"M. Broy. Algebraic methods for program construction:The project CIP. In P. Pepper, editor, Proc. of the workshop on program transformation and programming languages, pages 199\u2013222, Berlin, 1984. Springer."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"M. Broy. Deductive Program Development: Evaluation in Reverse Polnish Notation as an Example. In Methodik des Programmierens, number MIP-8915, pages 77\u201397. University of Passau, 1989.","DOI":"10.1007\/BFb0018270"},{"key":"3_CR5","first-page":"117","volume":"35","author":"M. Broy","year":"1988","unstructured":"M. Broy and M. Wirsing. Ultra-loose Algebraic Specification. Bulletin of the EATCS, 35:117\u2013128, June 1988.","journal-title":"Bulletin of the EATCS"},{"key":"3_CR6","unstructured":"I. Cla\u00dfen. ACT ONE \u2014 A Language for Parameterized Specification. In H. Ehrig, I. Cla\u00dfen, W. Fey, and D. Wolz, editors, ACT: Algebraic Specification Techniques and Tools for Software Development, chapter 2. AMAST Series in COMPUTING, 1992. Proposal."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Ernst Denert. Software-Engineering. Springer, 1991.","DOI":"10.1007\/978-3-642-84343-3"},{"key":"3_CR8","unstructured":"H.-D. Ehrich et al. Korso Reference Languages: Concepts and Application Domains. In this volume."},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.D. Ehrich","year":"1982","unstructured":"H.D. Ehrich. On the theory of specification, implementation, and parameterization of abstract data types. J. ACM, (29(1)):206\u2013277, 1982.","journal-title":"J. ACM"},{"key":"3_CR10","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, and P. Padawitz. Algebraic implementation of abstract data types. Theoret. Comp. Sci., (20):209\u2013263, 1982.","journal-title":"Theoret. Comp. Sci."},{"key":"3_CR11","first-page":"49","volume-title":"Current Trends in Programming Methodology, volume 4: Data Structuring","author":"J.A. Goguen","year":"1978","unstructured":"J.A. Goguen, J.A. Thatcher, and E.G. Wagner. An initial algebra approach to the specification correctness, and implementation of abstract data types. In R.T. Yeh, editor, Current Trends in Programming Methodology, volume 4: Data Structuring, pages 49\u2013189. Prentice-Hall, Englewood Cliffs, NJ, 1978."},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proofs of correctness of data representations. Acta Informatica, (1):271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-642-46490-4_20","volume-title":"Program Transformation and Programming Environments","author":"P. Pepper","year":"1984","unstructured":"P. Pepper. Algebraic techniques for program specification. In P. Pepper, editor, Program Transformation and Programming Environments, pages 231\u2013244, Berlin, 1984. Springer."},{"key":"3_CR14","first-page":"1","volume-title":"Transforming Algebraic Specifications \u2014 Lessons Learnt from an Example","author":"P. Pepper","year":"1991","unstructured":"P. Pepper. Transforming Algebraic Specifications \u2014 Lessons Learnt from an Example. In B. M\u00f6ller, editor, Proc. IFIP TC 2 Conf. on Constructing Programs from Specifications, Pacific Grove, California, May 1991, pages 1\u201327, Amsterdam, 1991. Elsevier."},{"key":"3_CR15","unstructured":"P. Pepper and M. Wirsing. A Method for the Development of Correct Software. In this volume."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF00283329","volume":"25","author":"D.T. Sanella","year":"1988","unstructured":"D.T. Sanella and A. Tarlecki. Towards formal development of programs from algebraic specifications: implementation revisited. Acta Informatica, (25):233\u2013281, 1988.","journal-title":"Acta Informatica"},{"key":"3_CR17","volume-title":"Handbook of Theoretical Computer Science","author":"M. Wirsing","year":"1990","unstructured":"Martin Wirsing. Algebraic Specification. In van Leeuven, editor, Handbook of Theoretical Computer Science. North-Holland, Amsterdam, 1990."}],"container-title":["Lecture Notes in Computer Science","KORSO: Methods, Languages, and Tools for the Construction of Correct Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:47:05Z","timestamp":1586551625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015455"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0015455","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}