618 search results - page 20 / 124 » A Practical Program Transformation System for Reverse Engine... |
137
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
155
click to vote
ICLP
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
163
click to vote
WCRE
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overflows have been the most common form of security vulnerability in the past decade. A number of techniques have been proposed to address such attacks. Some are limited t...
182
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
147
click to vote
PEPM
1991
ACM
15 years 9 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...