@Article{toplas2012, author = {Eric Bodden and Patrick Lam and Laurie Hendren}, title = {Partially evaluating finite-state runtime monitors ahead of time}, journal = {ACM Transactions on Programming Languages and Systems (TOPLAS)}, year = 2012, month = jun, volume = {34}, number = {2}, pages = {7:1--7:52}, articleno = {7}, numpages = {52}, doi = {10.1145/2220365.2220366}, url = {https://www.bodden.de/pubs/blh12partially.pdf}, annote = {an VGWort gemeldet}, }