Principles of staged static+dynamic partial analysis

DOI10.1007/978-3-031-22308-2_4zbMATH Open1524.68071MaRDI QIDQ6164422FDOQ6164422

Authors: Aditya Anand, Manas Thakur 

Publication date: 28 July 2023

Published in: Static Analysis (Search for Journal in Brave)

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

zbMATH Keywords

partial evaluationpartial analysisstaged analysis

Mathematics Subject Classification ID

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

Cites Work

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

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)