Automatic Generation of Very Efficient Programs by Generalized Partial Computation
No abstract available.
Related papers
- Automatic Data Structure Selection in SETL POPL 1979
- A Positive Supercompiler JFP 1996
- Reducing Nondeterminism while Specializing Logic Programs POPL 1997
- On Automatic Class Insertion with Overloading OOPSLA 1996
- SmartCheck: automatic and efficient counterexample reduction and generalization Haskell 2014
- Automatic inversion generates divide-and-conquer parallel programs PLDI 2007
- Two for the Price of One: Composing Partial Evaluation and Compilation PLDI 1997
- Partial Evaluation of C and Automatic Compiler Generation (Extended Abstract) CC 1992