619 search results - page 24 / 124 » The Design and Implementation of a Certifying Compiler |
185
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
168
click to vote
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
Traditional approaches to semester-long projects in compiler courses force students to implement the early stages of a compiler in depth; since many students fall behind, they hav...
143
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
123
click to vote
ECEASST
2006
15 years 5 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...
259
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...