scientific article; zbMATH DE number 1693485

MaRDI QIDQ2764059zbMATH OpenFDO

Authors Pierluigi San Pietro

Publication date 22 January 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2027/20270003

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Computing methodologies and applications (68U99)

Recommendations

• A formally-verified alias analysis
• scientific article; zbMATH DE number 1617333
• On an equivalence checking technique for algebraic models of programs
• scientific article; zbMATH DE number 2086974
• Generating model checkers from algebraic specifications
• Transformational derivation of an improved alias analysis algorithm

Cited in

(3)

• ALIAS: a modular tool for finding backdoors for SAT
• Compositional may-must program analysis: unleashing the power of alternation
• Transformational derivation of an improved alias analysis algorithm

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 Q2764059)