{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:41Z","timestamp":1750306721734,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,12]],"date-time":"2014-06-12T00:00:00Z","timestamp":1402531200000},"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":[[2014,6,12]]},"DOI":"10.1145\/2614628.2614629","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T18:18:31Z","timestamp":1401473911000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["TS4J"],"prefix":"10.1145","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[{"name":"EC SPRIDE---Fraunhofer SIT & TU Darmstadt"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_2_1","unstructured":"AspectJ. http:\/\/eclipse.org\/aspectj\/.  AspectJ. http:\/\/eclipse.org\/aspectj\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297846.1297897"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806805"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509239.1509243"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/3115971.3116163"},{"key":"e_1_3_2_1_7_1","series-title":"LNCS","first-page":"525","volume-title":"ECOOP","author":"Bodden Eric","year":"2007","unstructured":"Eric Bodden , Laurie J. Hendren , and Ond\u0159ej Lhot\u00e1k . A staged static program analysis to improve the performance of runtime monitoring . In ECOOP , volume 4609 of LNCS , pages 525 -- 549 , 2007 . Eric Bodden, Laurie J. Hendren, and Ond\u0159ej Lhot\u00e1k. A staged static program analysis to improve the performance of runtime monitoring. In ECOOP, volume 4609 of LNCS, pages 525--549, 2007."},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","first-page":"74","volume-title":"RV","author":"Bodden Eric","year":"2010","unstructured":"Eric Bodden , Patrick Lam , and Laurie Hendren . Clara: a framework for statically evaluating finite-state runtime monitors . In RV 2010 , volume 6418 of LNCS , pages 74 -- 88 . Springer , November 2010. Eric Bodden, Patrick Lam, and Laurie Hendren. Clara: a framework for statically evaluating finite-state runtime monitors. In RV 2010, volume 6418 of LNCS, pages 74--88. Springer, November 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_10_1","unstructured":"Martin Fowler. FluentInterfaces December 2005. http:\/\/martinfowler.com\/bliki\/FluentInterface.html.  Martin Fowler. FluentInterfaces December 2005. http:\/\/martinfowler.com\/bliki\/FluentInterface.html."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.17"},{"key":"e_1_3_2_1_12_1","volume-title":"January","author":"OOQ","year":"2012","unstructured":"j OOQ team. The Java Fluent API Designer Crash Course , January 2012 . http:\/\/blog.jooq.org\/2012\/01\/05\/the-java-fluent-api-designer-crash-course\/. jOOQ team. The Java Fluent API Designer Crash Course, January 2012. http:\/\/blog.jooq.org\/2012\/01\/05\/the-java-fluent-api-designer-crash-course\/."},{"key":"e_1_3_2_1_13_1","volume-title":"March","author":"OOQ","year":"2014","unstructured":"j OOQ team. jOOQ: Get Back in Control of Your SQL , March 2014 . http:\/\/www.jooq.org\/. jOOQ team. jOOQ: Get Back in Control of Your SQL, March 2014. http:\/\/www.jooq.org\/."},{"key":"e_1_3_2_1_14_1","volume-title":"Jlint manual. URL http:\/\/jlint.sourceforge.net","author":"Knizhnik Konstantin","year":"2002","unstructured":"Konstantin Knizhnik and Cyrille Artho . Jlint manual. URL http:\/\/jlint.sourceforge.net , 2002 . Konstantin Knizhnik and Cyrille Artho. Jlint manual. URL http:\/\/jlint.sourceforge.net, 2002."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449792"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_2_1_18_1","volume-title":"The AspectJ 5 Development Kit Developer's Notebook","author":"Team The","year":"2004","unstructured":"The AspectJ Team . The AspectJ 5 Development Kit Developer's Notebook , 2004 . The AspectJ Team. The AspectJ 5 Development Kit Developer's Notebook, 2004."}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Edinburgh United Kingdom","acronym":"PLDI '14"},"container-title":["Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2614628.2614629","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2614628.2614629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:32Z","timestamp":1750231172000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2614628.2614629"}},"subtitle":["a fluent interface for defining and computing typestate analyses"],"short-title":[],"issued":{"date-parts":[[2014,6,12]]},"references-count":18,"alternative-id":["10.1145\/2614628.2614629","10.1145\/2614628"],"URL":"https:\/\/doi.org\/10.1145\/2614628.2614629","relation":{},"subject":[],"published":{"date-parts":[[2014,6,12]]},"assertion":[{"value":"2014-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}