13383 search results - page 29 / 2677 » Abstractions from proofs |
115
click to vote
IANDC
2010
15 years 1 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
124
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
131
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
175
click to vote
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We investigate whether it is possible to obtain any meaningful type of zero-knowledge proofs using a one-message (i.e., noninteractive) proof system. We show that, under ...
108
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...