3 search results - page 1 / 1 » Conway's Question: The Chase for Completeness |
ACS
2007
15 years 16 days ago
2007
CADE
2009
Springer
16 years 1 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...
103
click to vote
IACR
2011
14 years 1 days 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...