6274 search results - page 190 / 1255 » Proofs, Programs, Processes |
167
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...
166
click to vote
IWFM
1998
15 years 7 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
160
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
171
click to vote
STOC
1999
ACM
15 years 10 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
194
click to vote
IUI
2010
ACM
16 years 1 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...