{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:42Z","timestamp":1750307682211,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,27]],"date-time":"2008-09-27T00:00:00Z","timestamp":1222473600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,9,27]]},"DOI":"10.1145\/1411273.1411275","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T13:03:19Z","timestamp":1222779799000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Testing Erlang data types with quviq quickcheck"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Arts","sequence":"first","affiliation":[{"name":"IT University of Gothenburg and Quviq AB, Gothenburg, Sweden"}]},{"given":"Laura M.","family":"Castro","sequence":"additional","affiliation":[{"name":"University of A Coru\u00f1a, A Coru\u00f1a, Spain"}]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[{"name":"Chalmers and Quviq AB, Gothenburg, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2008,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"http:\/\/www.madsgroup.org\/armistice\/","author":"ARMISTICE.","year":"2002","unstructured":"ARMISTICE. http:\/\/www.madsgroup.org\/armistice\/ , 2002 . ARMISTICE. http:\/\/www.madsgroup.org\/armistice\/, 2002."},{"key":"e_1_3_2_2_2_1","volume-title":"Uppsala","author":"Cabrero David","year":"2003","unstructured":"David Cabrero , Carlos Abalde , Carlos Varela , and Laura M. Castro . Armistice: An experience developing management software with erlang. In Principles, Logics, and Implementations of High-Level Programming Languages , Uppsala , Sweden , August 2003 . David Cabrero, Carlos Abalde, Carlos Varela, and Laura M. Castro. Armistice: An experience developing management software with erlang. In Principles, Logics, and Implementations of High-Level Programming Languages, Uppsala, Sweden, August 2003."},{"key":"e_1_3_2_2_3_1","unstructured":"Bruce Dawson. Comparing floating point numbers. http:\/\/www.cygnus-software.com\/papers\/comparingfloats\/comparingfloats.htm 2008.  Bruce Dawson. Comparing floating point numbers. http:\/\/www.cygnus-software.com\/papers\/comparingfloats\/comparingfloats.htm 2008."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_2_6_1","volume-title":"http:\/\/grouper.ieee.org\/groups\/754\/","author":"IEEE.","year":"1985","unstructured":"IEEE. Standard for binary floating-point arithmetic. http:\/\/grouper.ieee.org\/groups\/754\/ , 1985 . IEEE. Standard for binary floating-point arithmetic. http:\/\/grouper.ieee.org\/groups\/754\/, 1985."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"volume-title":"http:\/\/www.quviq.com","year":"2008","key":"e_1_3_2_2_8_1","unstructured":"Quviq. http:\/\/www.quviq.com , 2008 . Quviq. http:\/\/www.quviq.com, 2008."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSENG.2005.10"},{"key":"e_1_3_2_2_11_1","first-page":"516","volume-title":"8th International Conference on Enterprise Information Systems","author":"Gul\u00edas Victor M.","year":"2006","unstructured":"Victor M. Gul\u00edas , Carlos Abalde , Laura M. Castro , and Carlos Varela . Formalisation of a functional risk management system . In 8th International Conference on Enterprise Information Systems , pages 516 -- 519 , Paphos (Cyprus ), May 2006 . INSTICC Press. http:\/\/www.iceis.org. Victor M. Gul\u00edas, Carlos Abalde, Laura M. Castro, and Carlos Varela. Formalisation of a functional risk management system. In 8th International Conference on Enterprise Information Systems, pages 516--519, Paphos (Cyprus), May 2006. INSTICC Press. http:\/\/www.iceis.org."}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Victoria BC Canada","acronym":"ICFP08"},"container-title":["Proceedings of the 7th ACM SIGPLAN workshop on ERLANG"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411273.1411275","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411273.1411275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:47Z","timestamp":1750253387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411273.1411275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,27]]},"references-count":11,"alternative-id":["10.1145\/1411273.1411275","10.1145\/1411273"],"URL":"https:\/\/doi.org\/10.1145\/1411273.1411275","relation":{},"subject":[],"published":{"date-parts":[[2008,9,27]]},"assertion":[{"value":"2008-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}