Sciweavers

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

9

WADT
1999
Springer

favoriteEmaildiscussreport

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

13 years 9 months ago

Extraction of Structured Programs from Specification Proofs

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

Real-time Traffic

Software Engineering | WADT 1999 |

claim paper

Related Content

» Program Extraction from Normalization Proofs

» Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases

» An ML Editor Based on ProofsAsPrograms

» Program Extraction From Proofs of Weak Head Normalization

» Extracting Computer Algebra Programs from Statements

» Program Extraction from Large Proof Developments

» Program Extraction from Classical Proofs

» Automatic Complexity Analysis for Programs Extracted from Coq Proof

» Extracting Programs from Constructive HOL Proofs Via IZF SetTheoretic Semantics

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1999
Where	WADT
Authors	John N. Crossley, Iman Poernomo, Martin Wirsing

Comments (0)