1882 search results - page 130 / 377 » Transformational Programming and Forests |
119
click to vote
IH
2007
Springer
15 years 11 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
133
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
244
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...
131
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Network processors (NPs) typically contain multiple concurrent processing cores. State-of-the-art programming techniques for NPs are invariably low-level, requiring progr...
121
Voted
OOPSLA
2004
Springer
15 years 10 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ď...