1411 search results - page 67 / 283 » Interactive Coding for Interactive Proofs |
112
Voted
TSE
1998
15 years 4 days ago
1998
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
102
Voted
MICS
2010
14 years 11 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
136
Voted
JAR
2007
15 years 11 days ago
2007
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
114
click to vote
PKC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Zero-knowledge proofs with witness elimination are protocols that enable a prover to demonstrate knowledge of a witness to the verifier that accepts the interaction prov...
78
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...