3228 search results - page 93 / 646 » Computationally Sound Proofs |
151
click to vote
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
127
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
Patterns of Compositional Reasoning Nina Amla1 , E. Allen Emerson2 , Kedar Namjoshi3 , and Richard Trefler4 1 Cadence Design Systems 2 Univ. of Texas at Austin 3 Bell Labs, Lucent...
126
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
142
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
139
click to vote
CJ
2006
15 years 3 months ago
2006
Mathematics is facing a dilemma at its heart: the nature of mathematical proof. We have known since Church and Turing independently showed that mathematical provability was undeci...