3 search results - page 1 / 1 » Conway's Question: The Chase for Completeness |
ACS
2007
14 years 12 months ago
2007
CADE
2009
Springer
16 years 10 days 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
13 years 11 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...