6248 search results - page 86 / 1250 » Programming in a data factory |
105
Voted
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
117
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
UM
2007
Springer
15 years 8 months ago
2007
Springer
116
Voted
IWFM
1998
15 years 3 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...