scientific article; zbMATH DE number 1693485

zbMATH Open0977.68606MaRDI QIDQ2764059

Pierluigi San Pietro, Author name not available (Why is that?)

Publication date: 22 January 2002

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Related Items (1)

Transformational derivation of an improved alias analysis algorithm

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Transformational derivation of an improved alias analysis algorithm 👍 👎
• Generating model checkers from algebraic specifications 👍 👎
• On an equivalence checking technique for algebraic models of programs 👍 👎
• A Formally-Verified Alias Analysis 👍 👎

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)