Result invalidation for incremental modular analyses

DOI10.1007/978-3-031-24950-1_14MaRDI QIDQ6174404zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Incremental modular decomposition
• Incremental analysis for generalized TODIM
• Modular dynamic evaluation

Cites work

• scientific article; zbMATH DE number 2087567 (Why is no real title available?)
• Abstracting abstract machines
• Effect-driven flow analysis
• Incremental and modular context-sensitive analysis

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174404)