{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:19:54Z","timestamp":1725484794956},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430759"},{"type":"electronic","value":"9783540455752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45575-2_13","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:30:22Z","timestamp":1180560622000},"page":"116-130","source":"Crossref","is-referenced-by-count":1,"title":["Transformational Construction of Correct Pointer Algorithms"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Ehm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"13_CR1","volume-title":"Algorithmic Language and Program Development","author":"F.L. Bauer","year":"1984","unstructured":"F.L. Bauer, H. W\u00f6ssner: Algorithmic Language and Program Development, Springer, Berlin, 1984"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0167-6423(89)90002-6","volume":"12","author":"A. Bijlsma","year":"1989","unstructured":"A. Bijlsma: Calculating with pointers. Science of Computer Programming\n                           12, Elsevier 1989, 191\u2013205","journal-title":"Calculating with pointers. Science of Computer Programming"},{"key":"13_CR3","unstructured":"R. Bird: Introduction to Functional Programming using Haskell, 2nd edition, Prentice Hall Press, 1998"},{"key":"13_CR4","unstructured":"R. Bird: Unfolding Pointer Algorithms, to appear in Journal of Functional Programming, available from: \n                    http:\/\/www.comlab.ox.ac.uk\/oucl\/work\/richard.bird\/publications"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/10722010_8","volume-title":"Proving pointer programs in Hoare logic","author":"R. Bornat","year":"2000","unstructured":"R. Bornat: Proving pointer programs in Hoare logic. Proceedings of MPC 2000, Ponte de Lima, LNCS 1837, Springer 2000, 102\u2013126"},{"key":"13_CR6","unstructured":"R. Burstall: Some techniques for proving correctness of programs which alter data structures. In B. Meltzer and D. Michie eds, Machine intelligence 7, Edinburgh University Press, 1972, 23\u201350"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0167-6423(98)00016-1","volume":"33","author":"M. Butler","year":"1999","unstructured":"M. Butler: Calculational derivation of pointer algorithms from tree operations. Science of Computer Programming 33, Elsevier 1999, 221\u2013260","journal-title":"Science of Computer Programming"},{"key":"13_CR8","unstructured":"T. Ehm: Case studies for the derivation of pointer algorithms. to appear"},{"key":"13_CR9","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, 1972, 271\u2013281","journal-title":"Acta Informatica"},{"key":"13_CR10","first-page":"25","volume":"91","author":"J.M. Morris","year":"1981","unstructured":"J.M. Morris: A general axiom of assignment. Theoretical Foundations of Programming Methodology, NATO Advanced Study Institutes Series C Mathematical and Physical Sciences 91, Dordrecht, Reidel, 1981, 25\u201334","journal-title":"Theoretical Foundations of Programming Methodology"},{"key":"13_CR11","first-page":"35","volume":"91","author":"J.M. Morris","year":"1981","unstructured":"J.M. Morris: Assignment and linked data structures. Theoretical Foundations of Programming Methodology, NATO Advanced Study Institutes Series C Mathematical and Physical Sciences 91, Dordrecht, Reidel, 1981, 35\u201351","journal-title":"Theoretical Foundations of Programming Methodology"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0167-6423(93)90008-D","volume":"21","author":"B. M\u00f6ller","year":"1993","unstructured":"B. M\u00f6ller: Towards pointer algebra. Science of Computer Programming 21, Elsevier, 1993, 57\u201390","journal-title":"Science of Computer Programming"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"B. M\u00f6ller: Calculating with pointer structures. In: R. Bird, L. Meertens (eds.): Algorithmic languages and calculi. Proc. IFIP WG2.1 Working conference, Le Bischenberg. Chapman & Hall 1997, 24\u201348","DOI":"10.1007\/978-0-387-35264-0_2"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"B. M\u00f6ller: Calculating with acyclic and cyclic lists. In A. Jaoua, G. Schmidt (eds.): Relational Methods in Computer Science. Int. Seminar on Relational Methods in Computer Science, Jan 6\u201310, 1997 in Hammamet. Information Sciences \u2014 An International Journal 119, 1999, 135\u2013154","DOI":"10.1016\/S0020-0255(99)00011-0"},{"key":"13_CR15","unstructured":"H. Partsch: Specification and transformation of programs. A formal approach to software development. Monographs in Computer Science. Springer, 1990"},{"key":"13_CR16","unstructured":"M.S. Paterson, C.E. Hewitt: Comparative Schematology. Conference on Concurrent Systems and Parallel Computation Project MAC, Woods Hole, Massachuset, USA, 1970"},{"key":"13_CR17","unstructured":"J.C. Reynolds: Intuitionistic reasoning about shared mutable data structures. In: Millennial Perspectives in Computer Science, Proceedings of the 1999 Oxford-Microsoft Symposium in Honour of Sir Tony Hoare, Palgrave, 2000"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45575-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:28:44Z","timestamp":1550348924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45575-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430759","9783540455752"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45575-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}