1821 search results - page 123 / 365 » Security-Aware Program Transformations |
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they deļ...
AMAST
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
To report a compiler bug, one must often ļ¬nd a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...