Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Cyrille Artho, Armin Biere. Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. Electronic Notes in Theoretical Computer Science, 141(1):109-128, 2005. [doi]

@article{ArthoB05a,
  title = {Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis},
  author = {Cyrille Artho and Armin Biere},
  year = {2005},
  doi = {10.1016/j.entcs.2005.02.034},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.02.034},
  tags = {analysis, static analysis, abstraction},
  researchr = {https://researchr.org/publication/ArthoB05a},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {141},
  number = {1},
  pages = {109-128},
}