1821 search results - page 174 / 365 » Security-Aware Program Transformations |
115
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
127
Voted
SAIG
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
114
click to vote
ICFP
1997
ACM
15 years 6 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
109
click to vote
DLS
2008
15 years 4 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...
139
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...