Separate abstract interpretation for control-flow analysis

DOI10.1007/3-540-57887-0_98MaRDI QIDQ4490730zbMATH OpenFDO

Authors Yan Mei Tang, Pierre Jouvelot

Publication date 20 July 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57887-0_98

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2087567
• An abstract interpretation framework for type and effect systems
• A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
• Control-flow analysis of function calls and returns by abstract interpretation
• Control-flow analysis of function calls and returns by abstract interpretation

Cited in

(6)

• A cost-effective estimation of uncaught exceptions in Standard ML programs
• Modular control flow analysis for libraries
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• scientific article; zbMATH DE number 2087567 (Why is no real title available?)
• An abstract interpretation framework for type and effect systems
• Abstract Interpretation Plugins for Type Systems

Describes a project that uses

Uses Software

• LISP

This page was built for publication: Separate abstract interpretation for control-flow analysis

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