{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T22:31:47Z","timestamp":1649025107722},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,2,15]],"date-time":"2005-02-15T00:00:00Z","timestamp":1108425600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2005,4]]},"DOI":"10.1007\/s10009-004-0184-3","type":"journal-article","created":{"date-parts":[[2005,2,14]],"date-time":"2005-02-14T08:17:58Z","timestamp":1108369078000},"page":"184-194","source":"Crossref","is-referenced-by-count":1,"title":["Functional programming languages for verification tools: a comparison of Standard ML and Haskell"],"prefix":"10.1007","volume":"7","author":[{"given":"Martin","family":"Leucker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Noll","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,2,15]]},"reference":[{"key":"184_CR1","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"Clarke","year":"1996","unstructured":"Clarke EM, Wing JM (1996) Formal methods: state of the art and future directions. ACM Comput Surv 28(4):626\u2013643","journal-title":"ACM Comput Surv"},{"key":"184_CR2","unstructured":"Gansner ER, Reppy JH (2002) The Standard ML Basis Library. Cambridge University Press, Cambridge, UK"},{"key":"184_CR3","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1017\/S0956796800001891","volume":"6","author":"Hartel","year":"1996","unstructured":"Hartel PH, Feeley M, Alt M, Augustsson L, Baumann P, Beemster M, Chailloux E, Flood CH, Grieskamp W, van Groningen JHG, Hammond K, Hausman B, Ivory MY, Jones RE, Kamperman J, Lee P, Leroy X, Lins RD, Loosemore S, R\u00f6jemo N, Serrano M, Talpin JP, Thackray J, Thomas S, Walters P, Weis P, Wentworth P (1996) Benchmarking implementations of functional languages with \u2018Pseudoknot\u2019, a float-intensive benchmark. J Function Programm 6(4):621\u2013655","journal-title":"J Function Programm"},{"key":"184_CR4","unstructured":"McAdam B (2002) Repairing type errors in functional programs. PhD thesis, Division of Informatics, University of Edinburgh"},{"key":"184_CR5","unstructured":"Milner R (1989) Communication and concurrency. International Series in Computer Science. Prentice-Hall, Upper Saddle River, NJ"},{"key":"184_CR6","doi-asserted-by":"crossref","unstructured":"Milner R, Tofte M, Harper R, MacQueen D (1997) The definition of Standard ML (revised). MIT Press, Cambridge, MA","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"184_CR7","unstructured":"Nicklisch J, Peyton Jones SL (1996) An exploration of modular programs. In: Glasgow workshop on functional programming, July 1996"},{"key":"184_CR8","unstructured":"Peterson J, Hammond K (eds) Augustsson L, Boutel B, Burton W, Fasel J, Gordon AD, Hughes J, Hudak P, Johnsson T, Jones MP, Peyton Jones SL, Reid A, Wadler P (1996) Report on the programming language Haskell, a non-strict purely-functional programming language, version 1.3. Technical report, Yale University, New Yaven, CT, May 1996"},{"key":"184_CR9","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s100090050019","volume":"2","author":"Stevens","year":"1999","unstructured":"Stevens P (1999) A verification tool developer\u2019s vade mecum. Int J Softw Tools Technol Transfer 2(2):89\u201394","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"184_CR10","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1145\/234528.234738","volume":"28","author":"Wadler","year":"1996","unstructured":"Wadler P (1996) Lazy versus strict. ACM Comput Surv 28(2):318\u2013320","journal-title":"ACM Comput Surv"},{"key":"184_CR11","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"Wadler","year":"1997","unstructured":"Wadler P (1997) How to declare an imperative. ACM Comput Surv 29(3):240\u2013263","journal-title":"ACM Comput Surv"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0184-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0184-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0184-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T03:25:20Z","timestamp":1559100320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0184-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2,15]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,4]]}},"alternative-id":["184"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0184-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2,15]]}}}