What is a "Positive Supercompiler?
A positive supercompiler is a supercompiler that doesn't propagate "negative information", when tracing the possible generalized histories of computation.
- M.H.Sørensen. Turchin's Supercompiler Revisited. Master's Thesis. Department of Computer Science, University of Copenhagen. 1994. DIKU-rapport 94/17. PDF
- M.H.Sørensen, R.Glück, and N.D.Jones. A positive supercompiler. J. Funct. Prog., 6:811-838, 1996. PS
- M.H.Sørensen and R.Glück. An algorithm of generalization in positive supercompilation. In _J.W. Lloyd, editor, Logic Programming: Proceedings of the 1995 International Symposium_, pages 465--479. MIT Press, 1995. PS
- M.H.Sørensen. Convergence of program transformers in the metric space of trees. Sci. Comput. Program. 37, 1-3 (May. 2000), 163-205. PS
- R.Glück and M.H.Sørensen. A Roadmap to Metacomputation by Supercompilation. In Selected Papers From the internaltional Seminar on Partial Evaluation (February 12 - 16, 1996). O. Danvy, R. Glück, and P. Thiemann, Eds. Lecture Notes In Computer Science, vol. 1110. Springer-Verlag, London, 137-160. Link
The goal of the project spsc is to implement a "positive" supercompiler as described in the paper "Convergence of program transformers ..." by M.H.Sørensen.