Sciweavers

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

3

AMAST
2010
Springer

favoriteEmaildiscussreport

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

12 years 4 months ago

Program Calculation in Coq

Download www.univ-orleans.fr

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&

Real-time Traffic

AMAST 2010 | Software Engineering |

claim paper

Related Content

» Building Certified Static Analysers by Modular Construction of Wellfounded Lattices

» Extraction in Coq An Overview

» Proving SelfStabilization with a Proof Assistant

» A Hoare Logic for the State Monad

» Weakest Precondition for General Recursive Programs Formalized in Coq

» Combining Coq and Gappa for Certifying FloatingPoint Programs

» A Coq Library for Verification of Concurrent Programs

» Automatic Complexity Analysis for Programs Extracted from Coq Proof

» Formal Verification of a Clike Memory Model and Its Uses for Verifying Program Transformat...

Post Info
More Details (n/a)

Added	12 May 2011
Updated	12 May 2011
Type	Journal
Year	2010
Where	AMAST
Authors	Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi

Comments (0)