66 search results - page 5 / 14 » Development of Correct Transformation Schemata for Prolog Pr... |
139
Voted
WCRE
1993
IEEE
15 years 8 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
120
click to vote
HT
1997
ACM
15 years 7 months ago
1997
ACM
Activity spaces are usually task-specific and only common to a group of people who work together in a certain application domain. It is desirable to enable users to define and mod...
135
Voted
ENTCS
2006
15 years 3 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...
124
Voted
ERSHOV
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
261
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...