A new class of functions for abstract interpretation

DOI10.1007/3-540-48294-6_16MaRDI QIDQ4494383zbMATH OpenFDO

Authors Jörg Köller, Markus Mohnen

Publication date 10 August 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-48294-6_16

zbMATH Keywords

abstract interpretationcomponent-wise additive functions

Mathematics Subject Classification ID

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

Recommendations

• Approximate fixed points in abstract interpretation
• scientific article; zbMATH DE number 4014000
• Fixed points and frontiers: a new perspective
• Bounded Fixed-Point Iteration
• Abstract interpretation using typed decision graphs

Cited in

(6)

• Logic programs as compact denotations.
• Inferring functional properties of matrix manipulating programs by abstract interpretation
• scientific article; zbMATH DE number 4047177 (Why is no real title available?)
• scientific article; zbMATH DE number 7377974 (Why is no real title available?)
• scientific article; zbMATH DE number 7453197 (Why is no real title available?)
• Functions-as-constructors Higher-order Unification

Describes a project that uses

Uses Software

• CLEAN

This page was built for publication: A new class of functions for abstract interpretation

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