595 search results - page 20 / 119 » The Graph Programming Language GP |
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
ENTCS
2006
13 years 7 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...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
CSLP
2004
Springer
13 years 11 months ago
2004
Springer
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...