1821 search results - page 189 / 365 » Security-Aware Program Transformations |
IWPC
2002
IEEE
14 years 2 months ago
2002
IEEE
A means to add explicit structure to program source code is presented. XML is used to augment source code with syntactic information from the parse tree. More importantly, comment...
PADO
2001
Springer
14 years 1 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
PLDI
1999
ACM
14 years 1 months ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
ECRTS
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...