[{"_id":"5183","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"department":[{"_id":"76"}],"user_id":"477","file_date_updated":"2018-11-02T15:42:24Z","extern":"1","type":"journal_article","status":"public","date_updated":"2022-01-06T07:01:41Z","volume":34,"author":[{"last_name":"Bodden","orcid":"0000-0003-3470-3647","full_name":"Bodden, Eric","id":"59256","first_name":"Eric"},{"last_name":"Lam","full_name":"Lam, Patrick","first_name":"Patrick"},{"last_name":"Hendren","full_name":"Hendren, Laurie","first_name":"Laurie"}],"doi":"10.1145/2220365.2220366","main_file_link":[{"url":"http://www.bodden.de/pubs/blh12partially.pdf"}],"has_accepted_license":"1","publication_identifier":{"issn":["0164-0925"]},"publication_status":"published","intvolume":"        34","page":"1-52","citation":{"apa":"Bodden, E., Lam, P., &#38; Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>, <i>34</i>(2), 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>","bibtex":"@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }","short":"E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.","mla":"Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>.","ama":"Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>. 2012;34(2):1-52. doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>","ieee":"E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, pp. 1–52, 2012.","chicago":"Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i> 34, no. 2 (2012): 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>."},"ddc":["000"],"language":[{"iso":"eng"}],"publication":"ACM Transactions on Programming Languages and Systems","file":[{"file_size":2280938,"file_name":"a7-bodden.pdf","access_level":"closed","file_id":"5310","date_updated":"2018-11-02T15:42:24Z","date_created":"2018-11-02T15:42:24Z","creator":"ups","success":1,"relation":"main_file","content_type":"application/pdf"}],"publisher":"Association for Computing Machinery (ACM)","date_created":"2018-10-31T10:43:13Z","title":"Partially Evaluating Finite-State Runtime Monitors Ahead of Time","issue":"2","year":"2012"}]