Result invalidation for incremental modular analyses

DOI10.1007/978-3-031-24950-1_14zbMath1529.68085OpenAlexW4316662823MaRDI QIDQ6174404

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

Publication date: 17 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-24950-1_14

zbMATH Keywords

static program analysismodular program analysisincremental program analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Effect-driven flow analysis
• Incremental and Modular Context-sensitive Analysis
• Abstracting abstract machines

This page was built for publication: Result invalidation for incremental modular analyses