618 search results - page 94 / 124 » A Practical Program Transformation System for Reverse Engine... |
136
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
147
Voted
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
136
click to vote
PLDI
2010
ACM
15 years 8 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
147
click to vote
DAGSTUHL
1996
15 years 4 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
113
Voted
ESSOS
2010
Springer
16 years 4 days ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...