1821 search results - page 173 / 365 » Security-Aware Program Transformations |
129
Voted
COCOON
2008
Springer
15 years 4 months ago
2008
Springer
bzip is a program written by Julian Seward that is often used under Unix to compress single files. It splits the file into blocks which are compressed individually using a combinat...
92
Voted
SCP
2010
15 years 24 days ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
156
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
108
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
Writing boilerplate code is a royal pain. Generic programming promises to alleviate this pain by allowing the programmer to write a generic "recipe" for boilerplate code...
103
click to vote
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...