1821 search results - page 33 / 365 » Security-Aware Program Transformations |
ENTCS
2006
13 years 8 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
LPNMR
1997
Springer
14 years 1 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...
IWFM
1998
13 years 10 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
ICMT
2009
Springer
14 years 3 months ago
2009
Springer
ENTCS
2008
13 years 9 months ago
2008
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...