Sciweavers

ITP
2010

A Certified Denotational Abstract Interpreter

14 years 1 months ago
A Certified Denotational Abstract Interpreter
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes
David Cachera, David Pichardie
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2010
Where ITP
Authors David Cachera, David Pichardie
Comments (0)