Search Sciweavers | Sciweavers

2585 search results - page 40 / 517

» Automating Coherent Logic

click to vote

ESOP
2006
Springer

139views Programming Languages» more ESOP 2006»

ILC: A Foundation for Automated Reasoning About Pointer Programs

14 years 1 months ago

Download www.cs.princeton.edu

This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...

Limin Jia, David Walker

claim paper

Read More »

click to vote

CADE
2008
Springer

116views Logical Reasoning» more CADE 2008»

Certificate Translation

14 years 10 months ago

Download www.easychair.org

Gilles Barthe

claim paper

Read More »

click to vote

CADE
2007
Springer

120views Logical Reasoning» more CADE 2007»

Improvements in Formula Generalization

14 years 10 months ago

Download www.cs.bham.ac.uk

Markus Aderhold

claim paper

Read More »

click to vote

CADE
2007
Springer

125views Logical Reasoning» more CADE 2007»

A Mechanization of Phylogenetic Trees

14 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Mamoun Filali

claim paper

Read More »

click to vote

CADE
2007
Springer

149views Logical Reasoning» more CADE 2007»

Fully Verified Java Card API Reference Implementation

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers