632 search results - page 33 / 127 » Proving Invariants of Functional Programs |
107
click to vote
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
112
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
191
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
220
Voted
POPL
2004
ACM
16 years 26 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
104
click to vote
IACR
2011
14 years 5 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...