1821 search results - page 64 / 365 » Security-Aware Program Transformations |
IEEEIAS
2007
IEEE
14 years 3 months ago
2007
IEEE
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversar...
ASIAN
2003
Springer
14 years 2 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
POPL
1996
ACM
14 years 1 months ago
1996
ACM
This paper presents program analyses and transformations that discover a general class of auxiliary information for any incremental computation problem. Combining these techniques...
CC
2003
Springer
14 years 2 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
ECAI
2006
Springer
14 years 18 days ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...