4850 search results - page 80 / 970 » Proof and Computation in Geometry |
183
click to vote
FOSSACS
2010
Springer
16 years 1 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...
176
click to vote
DIAGRAMS
2010
Springer
15 years 7 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
165
click to vote
BIRTHDAY
2005
Springer
15 years 12 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...
185
click to vote
LICS
2008
IEEE
16 years 22 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
147
click to vote
ECAL
2001
Springer
15 years 10 months ago
2001
Springer
Amorphous computing is a recently introduced paradigm that favours geometrical configurations. The physical layout of an amorphous computer is based on a possibly irregular and er...