1411 search results - page 75 / 283 » Interactive Coding for Interactive Proofs |
109
click to vote
PADL
2010
Springer
15 years 9 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
87
Voted
CRYPTO
2001
Springer
15 years 5 months ago
2001
Springer
The public-key model for interactive proofs has proved to be quite effective in improving protocol efficiency [CGGM00]. We argue, however, that its soundness notion is more subtle...
100
Voted
GI
2001
Springer
15 years 5 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
91
Voted
ENTCS
2002
15 years 9 days ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...