Handling Cyclic Reinforcement of Lattice Values in Incremental Dependency-driven Static Analysis.

Jens Van der Plas, Quentin Stivenart, Coen De Roover

Browse the full SCAM paper archive.