{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:20Z","timestamp":1750307300452,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T00:00:00Z","timestamp":1277164800000},"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":[[2010,6,22]]},"DOI":"10.1145\/1924520.1924526","type":"proceedings-article","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T21:06:02Z","timestamp":1294779962000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Prototyping a tool environment for run-time assertion checking in JML with communication histories"],"prefix":"10.1145","author":[{"given":"Frank S.","family":"de Boer","sequence":"first","affiliation":[{"name":"CWI, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"de Gouw","sequence":"additional","affiliation":[{"name":"CWI, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurgen","family":"Vinju","sequence":"additional","affiliation":[{"name":"CWI, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_20"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"D. Bartetzko C. Fischer M. M\u00f6ller and H. Wehrheim. Jass - java with assertions. Electr. Notes Theor. Comput. Sci. 55(2) 2001.  D. Bartetzko C. Fischer M. M\u00f6ller and H. Wehrheim. Jass - java with assertions. Electr. Notes Theor. Comput. Sci. 55(2) 2001.","DOI":"10.1016\/S1571-0661(04)00247-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297069"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-006-9001-4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.084"},{"key":"e_1_3_2_1_7_1","unstructured":"G.\n       \n      Hedin\n    .\n      \n  \n   \n  Incremental attribute evaluation with side-effects. In D. Hammer editor Compiler Compilers and High Speed Compilation 2nd CCHSC Workshop Berlin\n   GDR October 10--14 1988 Proceedings volume \n  371\n   of \n  Lecture Notes in Computer Science pages \n  175\n  --\n  189\n  . \n  Springer 1988.   G. Hedin. Incremental attribute evaluation with side-effects. In D. Hammer editor Compiler Compilers and High Speed Compilation 2nd CCHSC Workshop Berlin GDR October 10--14 1988 Proceedings volume 371 of Lecture Notes in Computer Science pages 175--189. Springer 1988."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/117009.117012"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529407"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_29"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2009.28"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.25"},{"volume-title":"Pragmatic Bookshelf","year":"2007","author":"Parr T.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646061.758577"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200003)30:3%3C259::AID-SPE298%3E3.0.CO;2-Y"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"M.\n       \n      van den Brand J.\n       \n      Scheerder J. J.\n       \n      Vinju and \n      \n      \n      E.\n       \n      Visser\n      \n  \n  . \n  Disambiguation filters for scannerless generalized LR parsers. In R. N. Horspool editor Compiler Construction volume \n  2304\n   of \n  Lecture Notes in Computer Science pages \n  143\n  --\n  158\n  . \n  Springer 2002\n  .   M. van den Brand J. Scheerder J. J. Vinju and E. Visser. Disambiguation filters for scannerless generalized LR parsers. In R. N. Horspool editor Compiler Construction volume 2304 of Lecture Notes in Computer Science pages 143--158. Springer 2002.","DOI":"10.1007\/3-540-45937-5_12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258920"}],"event":{"name":"ECOOP '10: European Conference on Object-Oriented Programming","sponsor":["CEKTRA","University of Maribor","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Maribor Slovenia","acronym":"ECOOP '10"},"container-title":["Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1924520.1924526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1924520.1924526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:53Z","timestamp":1750244393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1924520.1924526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,22]]},"references-count":18,"alternative-id":["10.1145\/1924520.1924526","10.1145\/1924520"],"URL":"https:\/\/doi.org\/10.1145\/1924520.1924526","relation":{},"subject":[],"published":{"date-parts":[[2010,6,22]]},"assertion":[{"value":"2010-06-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}