Semantics-directed program analysis: A tool-maker's perspective
From MaRDI portal
Publication:5030183
DOI10.1007/3-540-61739-6_30zbMath1482.68092OpenAlexW1679306079MaRDI QIDQ5030183
Publication date: 16 February 2022
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61739-6_30
program analysisdenotational semanticsabstract interpretationtools for program analysistwo-level metalanguages
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Two-level semantics and abstract interpretation
- Strictness analysis for higher-order functions
- Two-level semantics and code generation
- Strictness analysis and denotational abstract interpretation
- Monotone data flow analysis frameworks
- Two-Level Functional Languages
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Semantics-directed program analysis: A tool-maker's perspective