scientific article; zbMATH DE number 1948387

MaRDI QIDQ4411949zbMATH OpenFDO

Authors Arnaud J. Venet

Publication date 13 July 2003

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

Mathematics Subject Classification ID

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

Recommendations

• Automatic analysis of pointer aliasing for untyped programs
• Static Analysis
• Data dependence analysis in programs with pointers
• scientific article; zbMATH DE number 1746461
• scientific article; zbMATH DE number 1760024

Cited in

(8)

• A logical analysis of aliasing in imperative higher-order functions
• scientific article; zbMATH DE number 1746461 (Why is no real title available?)
• A logical analysis of aliasing in imperative higher-order functions
• Compiler Construction
• Static Analysis
• Transformational derivation of an improved alias analysis algorithm
• The octagon abstract domain
• Pentagons: a weakly relational abstract domain for the efficient validation of array accesses

This page was built for publication:

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