Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proc. 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'05), Edinburgh, Scotland, UK
Number of pages	18
Publication status	Published - 2005

Fields of science

@inproceedings{38d3893103ae44ef87c1b9832a42353c,

title = "Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis",

author = "Cyrille Artho and Armin Biere",

year = "2005",

language = "English",

booktitle = "Proc. 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'05), Edinburgh, Scotland, UK",

}