{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T02:10:01Z","timestamp":1751854201483,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,20]],"date-time":"2018-09-20T00:00:00Z","timestamp":1537401600000},"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":[[2018,9,20]]},"DOI":"10.1145\/3264637.3264643","type":"proceedings-article","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T12:11:35Z","timestamp":1536581495000},"page":"43-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Property-based testing for lambda expressions semantics in featherweight Java"],"prefix":"10.1145","author":[{"given":"Samuel","family":"da Silva Feitosa","sequence":"first","affiliation":[{"name":"PPGC - UFPel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"PPGCC - UFOP"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre Rauber","family":"Du Bois","sequence":"additional","affiliation":[{"name":"PPGC - UFPel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"3","article-title":"Properties of Java Simple Closures","volume":"109","author":"Bellia Marco","year":"2011","journal-title":"Fundam. Inf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Lorenzo Bettini Viviana Bono Mariangiola Dezani-Ciancaglini and Betti Venneri. 2018. Java & Lambda: a Featherweight Story. CoRR abs\/1801.05052 (2018). Lorenzo Bettini Viviana Bono Mariangiola Dezani-Ciancaglini and Betti Venneri. 2018. Java & Lambda: a Featherweight Story. CoRR abs\/1801.05052 (2018).","DOI":"10.23638\/LMCS-14(3:17)2018"},{"volume-title":"MJ: An imperative core calculus for Java and Java with effects. Technical Report","year":"2003","author":"Bierman Gavin M","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"G Bracha N Gafter J Gosling and P von der Ahe. 2008. Closures for the Java prog. lang. (aka BGGA). http:\/\/javac.info\/. (2008). G Bracha N Gafter J Gosling and P von der Ahe. 2008. Closures for the Java prog. lang. (aka BGGA). http:\/\/javac.info\/. (2008)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_6_1","unstructured":"Stephen Colebourne and S Shulz. 2006. First-class methods: Java-style closures. (2006). Stephen Colebourne and S Shulz. 2006. First-class methods: Java-style closures. (2006)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.8.a3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048113"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291203"},{"key":"e_1_3_2_1_11_1","unstructured":"James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Lang. Specification Java SE 8. (2014). James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Lang. Specification Java SE 8. (2014)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869505"},{"key":"e_1_3_2_1_14_1","unstructured":"Edlira Kuci Sebastian Erdweg Oliver Bra\u010devac Andi Bejleri and Mira Mezini. 2017. A Co-contextual Type Checker for Featherweight Java. arXiv preprint arXiv:1705.05828 (2017). Edlira Kuci Sebastian Erdweg Oliver Bra\u010devac Andi Bejleri and Mira Mezini. 2017. A Co-contextual Type Checker for Featherweight Java. arXiv preprint arXiv:1705.05828 (2017)."},{"key":"e_1_3_2_1_15_1","unstructured":"Bob Lee Doug Lea and Josh Bloch. 2006. Concise Instance Creation Expressions: Closure without Complexity. (2006). Bob Lee Doug Lea and Josh Bloch. 2006. Concise Instance Creation Expressions: Closure without Complexity. (2006)."},{"volume-title":"Welterweight Java. In Proc. of the 48th Int. Conference on Objects, Models, Components, Patterns (TOOLS'10)","year":"2010","author":"\u00d6stlund Johan","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982615"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628145"},{"key":"e_1_3_2_1_19_1","unstructured":"tiobe.com. 2018. TIOBE Index. https:\/\/www.tiobe.com\/tiobe-index\/. (04 2018). Accessed: 2019-04-09. tiobe.com. 2018. TIOBE Index. https:\/\/www.tiobe.com\/tiobe-index\/. (04 2018). Accessed: 2019-04-09."}],"event":{"name":"SBLP 2018: XXII Brazilian Symposium on Programming Languages","acronym":"SBLP 2018","location":"Sao Carlos Brazil"},"container-title":["Proceedings of the XXII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264643","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3264637.3264643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T01:31:11Z","timestamp":1751851871000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3264637.3264643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,20]]},"references-count":19,"alternative-id":["10.1145\/3264637.3264643","10.1145\/3264637"],"URL":"https:\/\/doi.org\/10.1145\/3264637.3264643","relation":{},"subject":[],"published":{"date-parts":[[2018,9,20]]},"assertion":[{"value":"2018-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}