3 search results - page 1 / 1 » Conway's Question: The Chase for Completeness |
ACS
2007
13 years 5 months ago
2007
CADE
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
IACR
2011
12 years 5 months ago
2011
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...