{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:22Z","timestamp":1750307122655,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T00:00:00Z","timestamp":1316736000000},"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":[[2011,9,23]]},"DOI":"10.1145\/2034654.2034673","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:13:10Z","timestamp":1316790790000},"page":"92-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Interfacing dynamically typed languages and the why tool"],"prefix":"10.1145","author":[{"given":"Cl\u00e1udio","family":"Amaral","sequence":"first","affiliation":[{"name":"Chalmers University of Technology & LIACC - Un of Porto, G\u00f2teborg, Sweden"}]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[{"name":"DCC-FC, University of Porto & LIACC, University of Porto, Porto, Portugal"}]},{"given":"Patrik","family":"Jansson","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, G\u00f2teborg, Sweden"}]}],"member":"320","published-online":{"date-parts":[[2011,9,23]]},"reference":[{"volume-title":"Pragmatic Bookshelf, 2007. ISBN 193435600X, 9781934356005","author":"Armstrong J.","key":"e_1_3_2_1_1_1","unstructured":"J. Armstrong . Programming Erlang : Software for a Concurrent World . Pragmatic Bookshelf, 2007. ISBN 193435600X, 9781934356005 . J. Armstrong. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, 2007. ISBN 193435600X, 9781934356005."},{"key":"e_1_3_2_1_3_1","volume-title":"Multi-Prover Verification of C Programs. In Sixth International Conference on Formal Engineering Methods (ICFEM)","volume":"3308","author":"Filli\u00e2tre J.-C.","year":"2004","unstructured":"J.-C. Filli\u00e2tre and C. March\u00e9 . Multi-Prover Verification of C Programs. In Sixth International Conference on Formal Engineering Methods (ICFEM) , volume 3308 of Lecture Notes in Computer Science, pages 15--29, Seattle , Nov. 2004 . Springer-Verlag. J.-C. Filli\u00e2tre and C. March\u00e9. Multi-Prover Verification of C Programs. In Sixth International Conference on Formal Engineering Methods (ICFEM), volume 3308 of Lecture Notes in Computer Science, pages 15--29, Seattle, Nov. 2004. Springer-Verlag."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2003.07.006"},{"key":"e_1_3_2_1_5_1","volume-title":"April","author":"Correnson L.","year":"2010","unstructured":"L. Correnson , P. Cuoq , A. Puccetti , and J. Signoles . Frama-C User Manual, boron edition , April 2010 . L. Correnson, P. Cuoq, A. Puccetti, and J. Signoles. Frama-C User Manual, boron edition, April 2010."},{"key":"e_1_3_2_1_6_1","volume-title":"June","author":"Leavens G. T.","year":"2008","unstructured":"G. T. Leavens , E. Poll , C. C. Y. Cheon , C. Ruby , D. Cok , P. M\u00fcller , J. Kiniry , P. Chalin , D. M. Zimmerman , and W. Dietl . JML Reference Manual, draft edition , June 2008 . G. T. Leavens, E. Poll, C. C. Y. Cheon, C. Ruby, D. Cok, P. M\u00fcller, J. Kiniry, P. Chalin, D. M. Zimmerman, and W. Dietl. JML Reference Manual, draft edition, June 2008."},{"key":"e_1_3_2_1_7_1","volume-title":"CEA LIST and INRIA","author":"Baudin P.","year":"2010","unstructured":"P. Baudin , P. Cuoq , J.-C. Filli\u00e2tre , C. March\u00e9 , B. Monate , Y. Moy , and V. Prevosto . ACSL: ANSI\/ISO C Specification Language . CEA LIST and INRIA , 2010 . P. Baudin, P. Cuoq, J.-C. Filli\u00e2tre, C. March\u00e9, B. Monate, Y. Moy, and V. Prevosto. ACSL: ANSI\/ISO C Specification Language. CEA LIST and INRIA, 2010."}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tokyo Japan","acronym":"ICFP '11"},"container-title":["Proceedings of the 10th ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034654.2034673","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034654.2034673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:26Z","timestamp":1750240106000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034654.2034673"}},"subtitle":["reasoning about lists and tuples"],"short-title":[],"issued":{"date-parts":[[2011,9,23]]},"references-count":6,"alternative-id":["10.1145\/2034654.2034673","10.1145\/2034654"],"URL":"https:\/\/doi.org\/10.1145\/2034654.2034673","relation":{},"subject":[],"published":{"date-parts":[[2011,9,23]]},"assertion":[{"value":"2011-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}