Sciweavers

61 search results - page 1 / 13
» Testing, abstraction, theorem proving: better together!
Sort
View
66
Voted
ISSTA
2006
ACM
15 years 3 months ago
Testing, abstraction, theorem proving: better together!
Greta Yorsh, Thomas Ball, Mooly Sagiv
EPIA
1999
Springer
15 years 2 months ago
Critical Agents Supporting Interactive Theorem Proving
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...
Christoph Benzmüller, Volker Sorge
TPHOL
1999
IEEE
15 years 2 months ago
Three Tactic Theorem Proving
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
Don Syme
TPHOL
2005
IEEE
15 years 3 months ago
A Structured Set of Higher-Order Problems
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
Christoph Benzmüller, Chad E. Brown
SAIG
2001
Springer
15 years 2 months ago
Short Cut Fusion: Proved and Improved
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
Patricia Johann