germane-2019-relatively:
  type: chapter
  title: Relatively Complete Pushdown Analysis of Escape Continuations
  author:
  - Germane, Kimball
  - Might, Matthew
  date: 2019
  page-range: 205-225
  url: http://dx.doi.org/10.1007/978-3-030-11245-5_10
  serial-number:
    doi: 10.1007/978-3-030-11245-5_10
    isbn: '9783030112455'
    issn: 1611-3349
  parent:
    type: book
    title: Verification, Model Checking, and Abstract Interpretation
    publisher: Springer International Publishing