1411 search results - page 72 / 283 » Interactive Coding for Interactive Proofs |
109
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
103
click to vote
AI
2000
Springer
15 years 10 days ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
106
Voted
CHI
2011
ACM
14 years 4 months ago
2011
ACM
Programmers frequently use the Web while writing code: they search for libraries, code examples, tutorials, and documentation. This link between code and visited Web pages remains...
CCR
2000
15 years 10 days ago
2000
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
124
click to vote
ACTA
2005
15 years 13 days ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...