---
_id: '5183'
author:
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Patrick
  full_name: Lam, Patrick
  last_name: Lam
- first_name: Laurie
  full_name: Hendren, Laurie
  last_name: Hendren
citation:
  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>
  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} }'
  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>.'
  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.
  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>.
  short: E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages
    and Systems 34 (2012) 1–52.
date_created: 2018-10-31T10:43:13Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2220365.2220366
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T15:42:24Z
  date_updated: 2018-11-02T15:42:24Z
  file_id: '5310'
  file_name: a7-bodden.pdf
  file_size: 2280938
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T15:42:24Z
has_accepted_license: '1'
intvolume: '        34'
issue: '2'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/blh12partially.pdf
page: 1-52
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: ACM Transactions on Programming Languages and Systems
publication_identifier:
  issn:
  - 0164-0925
publication_status: published
publisher: Association for Computing Machinery (ACM)
status: public
title: Partially Evaluating Finite-State Runtime Monitors Ahead of Time
type: journal_article
user_id: '477'
volume: 34
year: '2012'
...