{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:18:44Z","timestamp":1725484724399},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540435372"},{"type":"electronic","value":"9783540460282"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46028-4_4","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:07:36Z","timestamp":1180559256000},"page":"55-71","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":24,"title":["Theorem Proving for Functional Programmers"],"prefix":"10.1007","author":[{"given":"Maarten","family":"de Mol","sequence":"first","affiliation":[]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,10]]},"reference":[{"key":"4_CR1","unstructured":"P. Achten and M. Wierich. A Tutorial to the CLEAN Object I\/O Library (version 1.2), Nijmegen, February 2000. CSI Technical Report, CSI-R0003."},{"key":"4_CR2","unstructured":"E. Barendsen and S. Smetsers. Strictness Typing, Nijmegen, 1998. In proceedings of the 10th International Workshop on Implementation of Functional Languages (IFL\u201998), London, 1998, pages 101\u2013116."},{"key":"4_CR3","unstructured":"R. Bird. Introduction to Functional Programming using Haskell, second edition, Prentice Hall Europe, 1998, ISBN 0-13-484346-0."},{"key":"4_CR4","unstructured":"A. Butterfield and G. Strong. Proving Correctness of Programs with I\/O-a paradigm comparison, Dublin, 2001. In proceedings of the 13th InternationalWorkshop on Implementation of Functional Languages (IFL\u201901), Stockholm, 2001, pages 319\u2013334."},{"key":"4_CR5","unstructured":"The Coq Development Team. The Coq Proof Assistant Reference Manual (version 7.0), Inria, 1998. \n                  http:\/\/pauillac.inria.fr\/coq\/doc\/main.html"},{"key":"4_CR6","unstructured":"M. van Eekelen and R. Plasmeijer. Concurrent Clean Language Report (version 1.3), Nijmegen, June 1998. CSI Technical Report, CSI-R9816. \n                  http:\/\/www.cs.kun.nl\/~clean\/Manuals\/manuals.html"},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","isbn-type":"print","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1007\/3-540-45319-9_41","volume-title":"The EVT Erlang Verification Tool","author":"T. Noll","year":"2001","unstructured":"T. Noll, L. Fredlund and D. Gurov. The EVT Erlang Verification Tool, Stockholm, 2001. In proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201901), Lecture Notes in Computer Science, Vol. 2031, Springer, 2001, ISBN 3-540-41865-2, pages 582\u2013585.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540418652"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"S. Mintchev. Mechanized reasoning about functional programs, Manchester, 1994. In K. Hammond, D.N. Turner and P. Sansom, editors, Functional Programming, Glasgow 1994, pages 151\u2013167. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3573-9_11"},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","isbn-type":"print","first-page":"271","volume-title":"A proof tool dedicated to Clean-the first prototype","author":"M. Mol de","year":"1999","unstructured":"M. de Mol and M. van Eekelen. A proof tool dedicated to Clean-the first prototype, 1999. In proceedings of Applications of Graph Transformations with Industrial Relevance 1999, Lecture Notes in Computer Science, Vol. 1779, Springer, 2000, ISBN 3-540-67658-9, pages 271\u2013278.","ISBN":"http:\/\/id.crossref.org\/isbn\/3540676589"},{"key":"4_CR10","unstructured":"S. Owre, N. Shankar, J.M. Rushby and D.W.J. Stringer-Calvert. PVS Language Reference (version 2.3), 1999. \n                  http:\/\/pvs.csl.sri.com\/manuals.html"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"L. C. Paulson. Logic and Computation, Cambridge University Press, 1987. ISBN 0-52-134632-0.","DOI":"10.1017\/CBO9780511526602"},{"key":"4_CR12","unstructured":"L. C. Paulson. The Isabelle Reference Manual, Cambridge, 2001. \n                  http:\/\/www.cl.cam.ac.uk\/Research\/HVG\/Isabelle\/docs.html"},{"key":"4_CR13","unstructured":"S. Peyton Jones(editor), J. Hughes(editor) et al. Report on the programming language Haskell 98, Yale, 1999. \n                  http:\/\/www.haskell.org\/definition\/"},{"key":"4_CR14","unstructured":"N. Winstanley. Era User Manual, version 2.0, Glasgow, 1998. \n                  http:\/\/www.dcs.gla.ac.uk\/~nww\/Era\/Era.html"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46028-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T22:42:57Z","timestamp":1578523377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46028-4_4"}},"subtitle":["Sparkle: A Functional Theorem Prover"],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540435372","9783540460282"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-46028-4_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"10 April 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}