Close
Методы метавычислений и их применение: монография
Москва, Берлин: Директ-Медиа, 2021
Объем: 200 стр.
Дополнительная информация: Изд. 3-е, доп. и перераб.
ISBN: 978-5-4499-0079-1
УДК: 681.322
ББК: 32.97
DOI: 10.23681/602956
Постраничный просмотр для данной книги Вам недоступен.

Список литературы

1. Турчин В.Ф. Эквивалентные преобразования рекурсивных функций описанных на Рефале // Теория языков и методы программирования. Труды Симпозиума по теории языков и методам программирования. Киев–Алушта. стр.31–42.
2. Turchin V.F. The Phenomenon of Science // Columbia University Press, New York 1977. (Турчин В.Ф. Феномен науки: Кибернетический подход к эволюции // М., Наука, 1993, 296 с.)
3. Turchin V.F. A supercompiler system based on the language Refal // SIGPLAN Notices, 14(2): 46-54, 1979.
4. Turchin V.F. The language Refal, the theory of compilation and metasystem analysis // Courant Institute of Mathematical Sciences, New York University. Courant Computer Science Report No. 20, 1980.
5. Turchin V.F., Nirenberg R., Turchin D.V. Experiments with a supercompiler // Conference Record of the ACM Symposium on Lisp and Functional Programming. p.47–55, ACM Press 1982.
6. Turchin V.F. Program transformation by supercompilation // Ganzinger H., Jones N.D. (ed.), Programs as Data Objects. (Copenhagen, Denmark). Lecture Notes in Computer Science, Vol. 217, p.257–281, Springer-Verlag 1985.
7. Turchin V.F. The concept of supercompiler // ACM TOPLAS, 8(3): 292-325, 1986.
8. Turchin V.F. Refal: a language for linguistic cybernetics // City College of the City University of New York. 1986
9. Turchin V.F. The algorithm of generalization in the supercompiler // Børner D., Ershov A.P., Jones N. (ed.), Partial Evaluation and Mixed Computation. (Gammel Avernæs, Denmark). pp.341–353, North-Holland, 1988.
10. Romanenko A.Yu. The generation of inverse functions in Refal // Børner D., Ershov A.P., Jones N. (ed.), Partial Evaluation and Mixed Computation. (Gammel Avernæs, Denmark). pp.427–444, North-Holland, 1988.
11. Gl¨uck R. Transformation of Refal graphs into Refal programs // City University New York. Technical Report (Presented at the International Seminar on Metacomputation. February 21-22, 1989, New York) 1989.
12. Gl¨uck R. Inside the supercompiler // City University New York. Technical Report 1989.
13. Gl¨uck R., Turchin V.F. Experiments with a self-applicable supercompiler // City University New York. Technical Report 1989.
14. Gl¨uck R., Turchin V.F. Application of metasystem transition to function inversion and transformation // Proceedings of the ISSAC ’90. (Tokyo, Japan). 286-287, ACM Press 1990.
15. Абрамов С.М. Метавычисления и логическое программирование // Программирование No 3, 1991, стр.31–44.
16. Romanenko A.Yu. Inversion and metacomputation // Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation. (Yale University, Connecticut). p.12–22, ACM Press 1991.
17. Romanenko A.Yu. A language for direct and inverse programming and its semantics // Institute for the Physical Chemistry, Academy of Sciences of the USSR, Moscow. 1992.
18. Gl¨uck R., Klimov And. Occam’s razor in metacomputation: the notion of a perfect process tree // Cousot P., Falaschi M., Fil´e G., Rauzy A. (ed.), Static Analysis. Proceedings. (Padova, Italy). Lecture Notes in Computer Science, Vol. 724, 112-123, Springer-Verlag 1993.
19. Turchin V.F. Program transformation with metasystem transitions // Journal of Functional Programming, 11, 1993.
20. Gl¨uck R., Klimov And. Metacomputation as a Tool for Formal Linquistic Modeling // Cybernetics and Systems Research’94. World Scientific: Singapure 1994.
21. Nemytykh A.P., Turchin V.F. Metavariables: Their Implementation and Use in Program Transformation // Technical Report TR 95.6.5.002, The City College of New York, 1995.
22. Nemytykh A.P., Turchin V.F. A Self-applicable Supercompiler // Technical Report TR 95.6.5.001, The City College of New York, 1995.
23. Futamura Y. Partial evaluation of computation processan approach to a compiler-compiler // Systems, Computers, Controls, 2(5): 45-50, 1971.
24. R.M.Burstall, J.Darlington. A transformational system for developing recursive programms // JACM, 24(1), 1977, pp. 44–67.
25. J.Darlington. An experimental programm transformation and synthesis system.—Artifitial intelligense, 16(1), 1981, pp. 1–46.
26. Romanenko S. A compiler generator produced by a selfapplicable specializer can have a surprisingly natural and understandable structure // Børner D., Ershov A.P., Jones N. (ed.), Partial Evaluation and Mixed Computation. (Gl. Avernæs, Denmark). pp.445-463, North-Holland, 1988.
27. Jones N.D., Sestoft P., Søndergaard H. Mix: a selfapplicable partial evaluator for experiments in compiler generation // Lisp and Symbolic Computation, 2(1): 9-50, 1989.
28. Кальниньш А.А., Борзов Ю.В. Инвентаризация идей тестирования программ. Методическая разработка по математическому обеспеченю ЭВМ // Рига, ЛГУ, 1981.
29. Ramamoorthy C.V., Yj S.B.F., Chen W.T. On the automated generation of program test data // IEEE Transactions on Software Engineering, 1976, SE-2, No 4, p.293–300.
30. Alberts D.S. The economics of software quality asurance // AFIPS Conf.Proc., 1976 NCC, Montvale, 1976, p.433–442.
31. Kernighan B.W., Plauger P.J. The elements of programming style. New York, McGraw-Hill, 1974.
32. Moranda P.B. Asymptotic limits to program testing // INFOTECH State of the Art Report: Software Testing, vol.2, 1979, p.201–212.
33. Мессих И.Г.Б, Штрик А.А. Методика и средства анализа структуры и характеристик сложных комплексов программ реального времени // Синтез, тестирование, верификация и отладка программ. Рига: ЛГУ, 1981, с.152-153.
34. Rault J.-C., Bouissou B. Quantitative measures for software reliability: a review // INFOTECH State of the Art Report: Software Testing. 1979, v.2, p.213-229.
35. Abramov S.M. Metacomputation and program testing // 1st International Workshop on Automated and Algorithmic Debugging. (Link¨oping, Sweden). p.121–135, Link¨oping University 1993.
36. Братко И. Программирование на языке Пролог для искусственного интеллекта // Мисква, “Мир”, 1990. 559 с.
37. Kowalski R. Logic for Problem Solving // Artifical Intellegence Series, North Holland, 1979.
38. Hudak P., Wadler Ph. et al. Report on the programming language Haskell, a non-strict purely functional language (Version 1.1) // Technical report Yale University/Glasgow University. August 1991.
39. Manna Z. Theory of computation // New York, 1974, 448 p.

Рекомендации материалов по теме: нет