134 search results - page 7 / 27 » A Haskell Implementation of a Rule-Based Program Transformat... |
ECEASST
2006
15 years 2 months ago
2006
Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...
126
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
171
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
122
Voted
ENTCS
2006
15 years 2 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...
116
Voted
CC
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementin...