13383 search results - page 67 / 2677 » Abstractions from proofs |
85
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
132
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
131
Voted
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
150
Voted
CRYPTO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...