Search Sciweavers | Sciweavers

13383 search results - page 38 / 2677

» Abstractions from proofs

click to vote

IPPS
1999
IEEE

115views Distributed And Parallel Com...» more IPPS 1999»

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

14 years 2 months ago

Download ipdps.cc.gatech.edu

Isabelle Attali, Denis Caromel, Sylvain Lippi

claim paper

Read More »

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

14 years 2 months ago

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

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

click to vote

TYPES
1995
Springer

106views Formal Methods» more TYPES 1995»

The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs

14 years 1 months ago

Download www.mathematik.uni-muenchen.de

Ulrich Berger, Helmut Schwichtenberg

claim paper

Read More »

click to vote

AAAI
2008

98views Intelligent Agents» more AAAI 2008»

From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic

14 years 10 days ago

Download www.aaai.org

Joseph Y. Halpern

claim paper

Read More »

click to vote

ECMDAFA
2008
Springer

148views Hardware» more ECMDAFA 2008»

Where Is the Proof? - A Review of Experiences from Applying MDE in Industry

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers