3 search results - page 1 / 1 » Enhancing Theorem Prover Interfaces with Program Slice Infor... |
ENTCS
2007
13 years 4 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
DLS
2009
13 years 2 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
MKM
2005
Springer
13 years 10 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...