Principles of staged static+dynamic partial analysis

DOI10.1007/978-3-031-22308-2_4zbMath1524.68071MaRDI QIDQ6164422

Manas Thakur, Aditya Anand

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)

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