{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:06:40Z","timestamp":1773655600749,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,16]],"date-time":"2018-07-16T00:00:00Z","timestamp":1531699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union","award":["731453"],"award-info":[{"award-number":["731453"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,16]]},"DOI":"10.1145\/3236454.3236483","type":"proceedings-article","created":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T18:39:17Z","timestamp":1546972757000},"page":"37-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Reasoning about functional programming in Java and C++"],"prefix":"10.1145","author":[{"given":"David R.","family":"Cok","sequence":"first","affiliation":[{"name":"CEA, LIST, France"}]}],"member":"320","published-online":{"date-parts":[[2018,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"P. Baudin P.Cuoq J-C. Filli\u00e2tre C. March\u00e9 B. Monate Y. Moy and V. Prevosto. 2008ff. ACSL: ANSI C Specification Language. http:\/\/frama-c.com\/download\/acsl_1.4.pdf.  P. Baudin P.Cuoq J-C. Filli\u00e2tre C. March\u00e9 B. Monate Y. Moy and V. Prevosto. 2008ff. ACSL: ANSI C Specification Language. http:\/\/frama-c.com\/download\/acsl_1.4.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8's Functional Programming Features. Submitted to VSTTE 2018.  David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8's Functional Programming Features. Submitted to VSTTE 2018."},{"key":"e_1_3_2_1_3_1","unstructured":"Frama-C 2011ff. https:\/\/frama-c.com.  Frama-C 2011ff. https:\/\/frama-c.com."},{"key":"e_1_3_2_1_4_1","unstructured":"Bart Jacobs Jan Smans and Frank Piessen. 2017. The VeriFast Program Verifier: A Tutorial. https:\/\/zenodo.org\/record\/1068185#.WvbWhy97HyU.  Bart Jacobs Jan Smans and Frank Piessen. 2017. The VeriFast Program Verifier: A Tutorial. https:\/\/zenodo.org\/record\/1068185#.WvbWhy97HyU."},{"key":"e_1_3_2_1_5_1","unstructured":"I. T. Kassios and P. M\u00fcller. 2011. Modular Specification and Verification of Delegation with SMT Solvers. Technical Report. ETH Zurich.  I. T. Kassios and P. M\u00fcller. 2011. Modular Specification and Verification of Delegation with SMT Solvers. Technical Report. ETH Zurich."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040326"},{"key":"e_1_3_2_1_7_1","unstructured":"VESSEDIA. 2018. The work on C++ specification is part of the VESSEDIA project https:\/\/vessedia.eu. The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453.  VESSEDIA. 2018. The work on C++ specification is part of the VESSEDIA project https:\/\/vessedia.eu. The VESSEDIA project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No. 731453."}],"event":{"name":"ISSTA '18: International Symposium on Software Testing and Analysis","location":"Amsterdam Netherlands","acronym":"ISSTA '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Companion Proceedings for the ISSTA\/ECOOP 2018 Workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236483","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236454.3236483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:39Z","timestamp":1750210779000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236454.3236483"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,16]]},"references-count":7,"alternative-id":["10.1145\/3236454.3236483","10.1145\/3236454"],"URL":"https:\/\/doi.org\/10.1145\/3236454.3236483","relation":{},"subject":[],"published":{"date-parts":[[2018,7,16]]},"assertion":[{"value":"2018-07-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}