40 search results - page 1 / 8 » Proof Nets, Garbage, and Computations |
TLCA
1997
Springer
13 years 9 months ago
1997
Springer
S TECHNICAL REPORT ABSTRACTS
IPPS
2002
IEEE
13 years 10 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
CIE
2010
Springer
13 years 10 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
IPPS
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...