{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T14:10:40Z","timestamp":1762956640032,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"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":[[2021,7,13]]},"DOI":"10.1145\/3464971.3468417","type":"proceedings-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T22:07:03Z","timestamp":1625782023000},"page":"65-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["JML and OpenJML for Java 16"],"prefix":"10.1145","author":[{"given":"David R.","family":"Cok","sequence":"first","affiliation":[{"name":"Safer Software Consulting, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49812-6"},{"key":"e_1_3_2_1_2_1","volume-title":"Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)","volume":"89","author":"Burdy Lilian","year":"2003","unstructured":"Lilian Burdy , Yoonsik Cheon , David R. Cok , Michael D. Ernst , Joeseph R. Kiniry , Gary T. Leavens , K. Rustan M. Leino , and Erik Poll . 2003 . An overview of JML tools and applications . In Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03) , Thomas Arts and Wan Fokkink (Eds.) (Electronic Notes in Theoretical Computer Science (ENTCS) , Vol. 80). Elsevier, Netherlands. 73\u2013 89 . http:\/\/www.sciencedirect.com\/science\/journal\/15710661 Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joeseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. 2003. An overview of JML tools and applications. In Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Thomas Arts and Wan Fokkink (Eds.) (Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 80). Elsevier, Netherlands. 73\u201389. http:\/\/www.sciencedirect.com\/science\/journal\/15710661"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0138-x"},{"key":"e_1_3_2_1_4_1","volume-title":"Notes in Computer Science","author":"Cok David R.","year":"2039","unstructured":"David R. Cok . 2011. OpenJML: JML for Java 7 by Extending OpenJDK . In NASA Formal Methods, Mihaela Bobaru, Klaus Havelund, GerardJ. Holzmann, and Rajeev Joshi (Eds.) (Lecture Notes in Computer Science , Vol. 6617). Springer, Berlin, Heidelberg. 472\u2013 479 . isbn:978-3-642- 2039 7-8 https:\/\/doi.org\/10.1007\/978-3-642-20398-5_35 10.1007\/978-3-642-20398-5_35 David R. Cok. 2011. OpenJML: JML for Java 7 by Extending OpenJDK. In NASA Formal Methods, Mihaela Bobaru, Klaus Havelund, GerardJ. Holzmann, and Rajeev Joshi (Eds.) (Lecture Notes in Computer Science, Vol. 6617). Springer, Berlin, Heidelberg. 472\u2013479. isbn:978-3-642-20397-8 https:\/\/doi.org\/10.1007\/978-3-642-20398-5_35"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.149.8"},{"key":"e_1_3_2_1_6_1","unstructured":"David R. Cok. 2021. http:\/\/www.openjml.org  David R. Cok. 2021. http:\/\/www.openjml.org"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/b105030"},{"key":"e_1_3_2_1_8_1","volume-title":"Functional Programming Features. VSTTE","author":"David","year":"2018","unstructured":"David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8\u2019s Functional Programming Features. VSTTE 2018 . David R. Cok and Serdar Tasiran. 2018. Practical Methods for Reasoning about Java 8\u2019s Functional Programming Features. VSTTE 2018."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-61467-6_18"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_4"},{"key":"e_1_3_2_1_12_1","unstructured":"Gary Leavens. 2021. Many papers regarding JML can be found on the JML web site:. http:\/\/www.jmlspecs.org  Gary Leavens. 2021. Many papers regarding JML can be found on the JML web site:. http:\/\/www.jmlspecs.org"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464971.3468417","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3464971.3468417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:25Z","timestamp":1750191505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464971.3468417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":12,"alternative-id":["10.1145\/3464971.3468417","10.1145\/3464971"],"URL":"https:\/\/doi.org\/10.1145\/3464971.3468417","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}