1818 search results - page 46 / 364 » Granularity-Adaptive Proof Presentation |
133
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...
126
click to vote
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
130
click to vote
ASM
1998
ASM
15 years 7 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
173
click to vote
LICS
1995
IEEE
15 years 6 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
99
Voted
LICS
1987
IEEE
15 years 6 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...