Corpus ID: 293307

Supercompilation of Double Interpretation ( How One Hour of the Machine ' s Time Can Be Turned to One Second )

@inproceedings{Karliukou2002SupercompilationOD,
  title={Supercompilation of Double Interpretation ( How One Hour of the Machine ' s Time Can Be Turned to One Second )},
  author={Aliaksandr Karliukou and Andrei P. Nemytykh},
  year={2002}
}
Supercompilation is a program transformation method that can achieve partial evaluation, and in some respect more powerful. In this paper, we describe some experiments with the supercompiler Scp4. We specialize an XSLT-interpreter w.r.t. a Turing Machine interpreter written in XSLT. The running time speedup observed by us is entered in the title of this paper. 
3 Citations

Tables from this paper

The Supercompiler SCP4: General Structure
  • 42
  • PDF
Reachability Analysis in Verification via Supercompilation
  • 34
  • PDF
A note on elimination of simplest recursions
  • 5
  • PDF

References

SHOWING 1-10 OF 40 REFERENCES
Supercompilation: Techniques and Results
  • V. Turchin
  • Computer Science
  • Ershov Memorial Conference
  • 1996
  • 24
The concept of a supercompiler
  • 425
  • PDF
A Self-Applicable Supercompiler
  • 30
  • PDF
What Not to Do When Writing an Interpreter for Specialisation
  • N. Jones
  • Computer Science
  • Dagstuhl Seminar on Partial Evaluation
  • 1996
  • 53
  • PDF
Computability and complexity - from a programming perspective
  • N. Jones
  • Mathematics, Computer Science
  • Foundations of computing series
  • 1997
  • 249
  • PDF
Partial evaluation and automatic program generation
  • 1,715
  • PDF
...
1
2
3
4
...