{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:33Z","timestamp":1750307673470,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000082","name":"Division of Graduate Education","doi-asserted-by":"publisher","award":["DGE 0742477"],"award-info":[{"award-number":["DGE 0742477"]}],"id":[{"id":"10.13039\/100000082","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-08-1-0044"],"award-info":[{"award-number":["FA9550-08-1-0044"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,15]]},"DOI":"10.1145\/1554339.1554342","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T13:34:36Z","timestamp":1245159276000},"page":"9-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["ActionScript bytecode verification with co-logic programming"],"prefix":"10.1145","author":[{"given":"Brian W.","family":"DeVries","sequence":"first","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gopal","family":"Gupta","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin W.","family":"Hamlen","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Moore","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meera","family":"Sridhar","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Actionscript virtual machine 2 overview 2007. http:\/\/www.adobe.com\/devnet\/actionscript\/articles\/avm2overview.pdf.  Actionscript virtual machine 2 overview 2007. http:\/\/www.adobe.com\/devnet\/actionscript\/articles\/avm2overview.pdf."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.004"},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking (Representation and Mind Series) . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243987.1243990"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_36"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227597"},{"key":"e_1_3_2_1_8_1","first-page":"249","volume-title":"Proc. 11th International Conf.","volume":"1633","author":"Daniele N.","year":"1999","unstructured":"N. Daniele , F. Guinchiglia , and M. Y. Vardi . Improved automata generation for linear temporal logic. In Computer Aided Verification , Proc. 11th International Conf. , volume 1633 of LNCS, pages 249 -- 260 . Springer-Verlag , 1999 . N. Daniele, F. Guinchiglia, and M. Y. Vardi. Improved automata generation for linear temporal logic. In Computer Aided Verification, Proc. 11th International Conf., volume 1633 of LNCS, pages 249--260. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_9_1","volume-title":"Developing an optimized LTL model checker in coinductive prolog, forthcoming. Master's thesis","author":"DeVries B. W.","year":"2009","unstructured":"B. W. DeVries . Developing an optimized LTL model checker in coinductive prolog, forthcoming. Master's thesis , University of Texas at Dallas , June 2009 . B. W. DeVries. Developing an optimized LTL model checker in coinductive prolog, forthcoming. Master's thesis, University of Texas at Dallas, June 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/250707.239116"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646735.701621"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1778180.1778186"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375696.1375699"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134744.1134748"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111596.1111601"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1706428.1706473"},{"key":"e_1_3_2_1_19_1","volume-title":"Model Checking","author":"Grumberg E. M. C. Jr., O.","year":"1999","unstructured":"E. M. C. Jr., O. Grumberg , and D. A. Peled . Model Checking . The MIT Press , Cambridge, Massachusetts , 1999 . E. M. C. Jr., O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_21_1","volume-title":"the PiCalculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and Mobile Systems : the PiCalculus . Cambridge University Press , June 1999 . R. Milner. Communicating and Mobile Systems: the PiCalculus. Cambridge University Press, June 1999."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647766.733615"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770532.1770548"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.02.066"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","first-page":"126","volume-title":"CHARME03","author":"Sebastiani R.","year":"2003","unstructured":"R. Sebastiani , R. Sebastiani , S. Tonetta , and S. Tonetta . More deterministic vs. smaller bchi automata for efficient LTL model checking . In In CHARME03 , volume 2860 of LNCS , pages 126 -- 140 . Springer , 2003 . R. Sebastiani, R. Sebastiani, S. Tonetta, and S. Tonetta. More deterministic vs. smaller bchi automata for efficient LTL model checking. In In CHARME03, volume 2860 of LNCS, pages 126--140. Springer, 2003."},{"key":"e_1_3_2_1_29_1","volume-title":"The Art of PROLOG: Advanced Programming Techniques","author":"Shapiro L.","year":"1994","unstructured":"L. Shapiro and E. Y. Sterling . The Art of PROLOG: Advanced Programming Techniques . The MIT Press , 1994 . L. Shapiro and E. Y. Sterling. The Art of PROLOG: Advanced Programming Techniques. The MIT Press, 1994."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/11799573_25"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"H.\n      Tamaki\n     and \n      T.\n      Sato\n  . \n  OLD resolution with tabulation\n  . In E. Y. Shapiro editor ICLP volume \n  225\n   of \n  LNCS pages \n  84\n  --\n  98\n  . \n  Springer 1986\n  .   H. Tamaki and T. Sato. OLD resolution with tabulation. In E. Y. Shapiro editor ICLP volume 225 of LNCS pages 84--98. Springer 1986.","DOI":"10.1007\/3-540-16492-8_66"},{"key":"e_1_3_2_1_32_1","unstructured":"Yap prolog 2009. http:\/\/www.dcc.fc.up.pt\/~vsc\/Yap\/.  Yap prolog 2009. http:\/\/www.dcc.fc.up.pt\/~vsc\/Yap\/."}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Dublin Ireland","acronym":"PLDI '09"},"container-title":["Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1554339.1554342","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1554339.1554342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:39Z","timestamp":1750253379000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1554339.1554342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":30,"alternative-id":["10.1145\/1554339.1554342","10.1145\/1554339"],"URL":"https:\/\/doi.org\/10.1145\/1554339.1554342","relation":{},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}