Sciweavers

3 search results - page 1 / 1
» Improving CPS-Based Partial Evaluation: Writing Cogen by Han...
Sort
View
80
Voted
PEPM
1994
ACM
15 years 5 months ago
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
Anders Bondorf, Dirk Dussart
137
Voted
CORR
2002
Springer
114views Education» more  CORR 2002»
15 years 26 days ago
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
Michael Leuschel, Jesper Jørgensen, Wim Van...
108
Voted
PLDI
2005
ACM
15 years 6 months ago
Programming by sketching for bit-streaming programs
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
Armando Solar-Lezama, Rodric M. Rabbah, Rastislav ...