Principles of staged static+dynamic partial analysis

DOI10.1007/978-3-031-22308-2_4MaRDI QIDQ6164422zbMATH OpenFDO

Authors Aditya Anand, Manas Thakur

Publication date 28 July 2023

Published in Static Analysis (Search for Journal in Brave)

zbMATH Keywords

partial evaluationpartial analysisstaged analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static analysis of multi-staged programs via unstaging translation
• scientific article; zbMATH DE number 2087567
• Stratified static analysis based on variable dependencies
• Static analysis for logic-based dynamic programs
• A modal analysis of staged computation
• scientific article; zbMATH DE number 1737494
• Static analysis: a brief survey
• On the complexity analysis of static analyses

Cites work

• Maximal specification synthesis
• Partial evaluation of computation process -- an approach to a compiler-compiler

This page was built for publication: Principles of staged static+dynamic partial analysis

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