art_refs.htm

Литература

1. А.П. Ершов " О сущности компиляции. ",
Программирование (5):21-39, 1977.

2. А.В. Корлюков. Пособие по суперкомпилятору Scp4. http://www.refal.net/supercom.htm ,1999.

3. С.А. Романенко " Генератор компиляторов, пораждённый самоприменением специализатора, может иметь ясную и естественную структуру."
- М. ИПМ: им. М.В. Келдыша АН СССР, 1987, препринт ╧26. - 35 с.

4. С.А. Романенко " Рефале-4 - расширение Рефала-2, обеспечивающее выразимость прогонки. "
- М. ИПМ: им. М.В. Келдыша АН СССР, 1987, препринт ╧147 - 27 с.

5. А. Саломаа. Жемчужины теории формальных языков, // М: Мир, 1986. - 159 с.

6. В.Ф. Турчин " Эквивалентные преобразования рекурсивных функций описанных на Рефале "
Теория языков и методы программирования. Труды Симпозиума по теории языков и методам программирования. Киев-Алушта. стр. 31-42, 1972.

7. Y. Futamura. " Partial Evaluation of computation process - an aproach to compiler compiler . "
Systems,Computers, Controls, 2,5, pp.45-50, 1971.

8. Neil D. Jones, C.K. Gomrad, P. Sestoft, "Partial Evaluation and Automatic Program Generation ",
Prentice Hall International Series in Computer Science, 1993.

9. Neil D. Jones. "What Not to Do when Writing an Interpreter for Specialisation. "
In. O. Danvy, R. Glueck and P. Thiemann, editors, Partial Evaluation, Dagstuhl Castle, Germany, February 1996, LNCS, vol. 1110, pp.216-237, Berlin: Springer-Verlag, 1996.

10. Nemytykh A.P., Pinchuk V.A., Turchin V.F. " A Self-Applicable Supercompiler. "
Partial Evaluation, Lecture Notes in Computer Science, 1110 (1996) pp.232-237.

11. Nemytykh A.P., Pinchuk V.A. " Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. "
Perspectives of System Informatics, Lecture Notes in Computer Science, 1181 (1996) pp.249-260.

12. A.P.Nemytykh, V.F.Turchin. "The Supercompiler Scp4: sources, on-line demonstration." http://www.botik.ru/pub/local/scp/refal5/ ,2000.

13. Nemytykh A.P. " Supercompiler Scp4: Use of Quasi-Distributive Laws in Program Transformation " ,
In: Proceedings of International Software Engineering Symposium, Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, March 2001, Wuhan, China.

14. S. A. Romanenko. "A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. "
In. D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, p.445-463, North-Holland, 1988.

15. V.F.Turchin, R.M. Nirenberg and D.V.Turchin. " Experiments with a supercompiler "
In: ACM Symposium on Lisp and Functional Programming, ACM, New York, pp.47-55, 1982.

16. V.F.Turchin. " The concept of a supercompiler "
ACM Transactions on Programming Languages and Systems, Vol. 8 , No 3, July 1986, pp.292-325.

17. V.F. Turchin. "Refal-5, Programming Guide & Reference Manual.", New England Publishing Co., 1989 ( electronic version: http://www.botik.ru/pub/local/scp/refal5/ ,2000. )

18. V.F.Turchin. " Metacomputation in Refal. ", Private communication, 1990. ( unpublished )

19. V.F. Turchin, D.V. Turchin, A.P. Konyshev, A.P. Nemytykh. "Refal-5: sources, executable modules.", http://www.botik.ru/pub/local/scp/refal5/ ,2000.

20. XSL Transformations (XSLT) Version 1.0 W3C http://www.w3.org/TR/1999/REC-xslt-19991116

21. Turing Machines, http://www.ams.org/new-in-math/cover/turing.html