Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

ITP
2010

favoriteEmaildiscussreport

143views Mathematics» more ITP 2010»

A Certified Denotational Abstract Interpreter

13 years 6 months ago

A Certified Denotational Abstract Interpreter

Download www.irisa.fr

ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes

David Cachera, David Pichardie

Real-time Traffic

Abstract Interpreter | Denotational Abstract Interpreter | Iteration Strategies | ITP 2010 | Mathematics |

claim paper

Related Content

» Symbolic transfer functionbased approaches to certified compilation

» Certified Static Analysis by Abstract Interpretation

» Denotation by Transformation

» A Certified Implementation of ML with Structural Polymorphism

» Certified Reasoning in Memory Hierarchies

» Abstracting Cryptographic Protocols with Tree Automata

» SequenceBased Abstract Interpretation of Prolog

» A Typed Semantics of HigherOrder Store and Subtyping

» Semantics of Plan Revision in Intelligent Agents

Post Info
More Details (n/a)

Added	13 Oct 2010
Updated	13 Oct 2010
Type	Conference
Year	2010
Where	ITP
Authors	David Cachera, David Pichardie

Comments (0)