Static Analysis
Abstract compilation: a new implementation paradigm for static analysis
Dominique Boucher and Marc Feeley
(inproceedings, 1996)
cr3@ukc.ac.uk
![[-]](http://www.cs.ukc.ac.uk/people/staff//cr3/icons/tbook_empty.gif){kind=spacer}
Abstract compilation: a new implementation paradigm for static analysis
Abstract compilation: a new implementation paradigm for static analysis