Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis
<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">Interprocedural analyses are compositional when they compute over-approximations of procedures in a bottom-up fashion. These analyses are usually more scalable than top-down analyses, which compute a different procedure summ...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer
2015
|