Result Invalidation for Incremental Modular Analyses

Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

2 Citations (Scopus)

1 Finished
2 Active

1 results

Filter

Finished
FWOTM979: Incremental Static Program Analysis through Modularity
De Roover, C. & Van der Plas, J.
1/11/19 → 31/10/23
Project: Fundamental