Relational Summaries for Interprocedural Analysis
1 : VERIMAG
Centre National de la Recherche Scientifique : UMR5104, Université Grenoble Alpes, Institut polytechnique de Grenoble (Grenoble INP)
Improving the scalability of linear relation analysis on large programs
with procedures, objects or synchronous modules.
| Type : | : | oral |
| Thématiques | : | Interprétation Abstraite |
| PDF version | : |  PDF version |
- Poster
