4835 search results - page 428 / 967 » Refactoring Functional Programs |
319
click to vote
CC
2009
Springer
16 years 8 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
166
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
166
click to vote
FSE
2007
Springer
16 years 1 months ago
2007
Springer
We present a practical attack on the Panama hash function that generates a collision in 26 evaluations of the state updating function. Our attack improves that of Rijmen and cowork...
239
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
210
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
User interface designers still have to rely on personal creativity and skill when designing computer icons for program functions that have no existing conventional representation....