1821 search results - page 14 / 365 » Security-Aware Program Transformations |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
STTT
2010
13 years 6 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
ASIAN
1999
Springer
13 years 12 months ago
1999
Springer
Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...
MDAFA
2004
Springer
14 years 29 days ago
2004
Springer
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
POPL
1992
ACM
13 years 11 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...