Properties of a type abstract interpreter

DOI10.1007/3-540-36384-X_13MaRDI QIDQ4414385zbMATH OpenFDO

Authors Roberta Gori, Giorgio Levi

Publication date 25 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2575/25750132.htm

Mathematics Subject Classification ID

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

Recommendations

• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• An experiment in type inference and verification by abstract interpretation
• An abstract interpretation for ML equality kinds
• scientific article; zbMATH DE number 3938547
• Strictness analysis via abstract interpretation for recursively defined types

Cited in

(4)

• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• An experiment in type inference and verification by abstract interpretation
• An abstract interpretation for ML equality kinds
• Abstract interpretation of CTL properties

This page was built for publication: Properties of a type abstract interpreter

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