Effect-driven flow analysis

DOI10.1007/978-3-030-11245-5_12OpenAlexW2910528856MaRDI QIDQ2287090

Wolfgang De Meuter, Quentin Stiévenart, Coen De Roover, Jens Nicolay

Publication date: 23 January 2020

Full work available at URL: https://biblio.vub.ac.be/vubirfiles/75725109/vub_soft_tr_19_01.pdf

zbMATH Keywords

effectsstatic analysisprogram analysisabstract interpretation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Result invalidation for incremental modular analyses ⋮ Data flow analysis of asynchronous systems using infinite abstract domains

This page was built for publication: Effect-driven flow analysis