Методы метавычислений и их применениеБиблиотека Нон-фикшн читать электронные книги

БИБЛИОТЕКА
NON-FICTION

Методы метавычислений и их применение: монография

Автор: Абрамов С. М.

Дисциплина: Вычислительная техника и информационные технологии Программирование

Жанр: Научная литература

Год издания: 2021

Издательство: Директ-Медиа

Объем (стр.): 200

Дополнительная информация:Изд. 3-е, доп. и перераб.

ISBN: 978-5-4499-0079-1

Читать по подписке

Постраничный просмотр для данной книги Вам недоступен.

Выгрузить: RusMarc / RusMarc (UTF8)

Аннотация / Содержание / Библиографическое описание / Список литературы

Книга сотрудника Института программных систем РАН, представляющая собой описание вопросов теории метавычислений и их применения. Метавычисления — раздел теории и практики программирования, посвященный разработке методов анализа и преобразования программ за счет реализации конструктивных метасистем (метапрограмм) над программами. В книге приводятся основные понятия метавычислений, примеры построения и использования простых метапрограмм. Изложение рассчитано на специалистов в области программирования.
Для научных сотрудников и студентов, изучающих методы автоматического преобразования программ или проводящих исследования в данной области.

Введение	7
1 Язык реализации	17
1.1 Данные в языке TSG	17
1.2 Синтаксис языка TSG	18
1.3 Семантика языка TSG	22
2 Представление множеств	29
2.1 C-переменные, c-выражения	30
2.2 C-связи, c-среды и c-состояния	31
2.3 Рестрикции c-переменных	33
2.4 C-конструкции	36
2.5 Подстановки	39
2.6 Отождествление c-выражений	43
2.7 Представляемое множество	46
2.8 Суперпозиция подстановок	53
2.9 Сужения и разбиения множеств	54
3 Дерево процессов	65
3.1 Дерево конфигураций	66
3.2 Построение дерева процессов	67
4 Окрестностный анализ	79
4.1 Основные понятия	79
4.2 Окрестности	81
4.3 Окрестностный анализатор	83
4.4 Операции над классами и окрестностями	95
5 Окрестностное тестирование программ	107
5.1 Tестированиe. Основные понятия	107
5.2 Постановка проблемы	112
5.3 Построение окрестностного тестирования	116
5.4 Окрестностный критерий выбора тестов	121
5.5 Свойства окрестностного тестирования	122
5.6 Решение традиционных проблем теории тестирования	123
6 Универсальный решающий алгоритм	135
6.1 Постановка проблемы	135
6.2 Приведение функции программы к табличной форме137
6.3 Алгоритм инверсного вычисления программ	141
6.4 Развитие УРА	148
6.5 Различные подходы к инверсии программ	158
7 Инверсное программирование	161
7.1 Инверсная семантика языка реализации	161
7.2 Инверсное и логическое программирование	163
7.3 Перенос инверсной семантики	173
8 Нестандартные семантики	179
8.1 Модификаторы семантик	179
8.2 Специализация программ	185
8.3 Эффективная реализация нестандартных языков	188
Литература	193

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.

Методы метавычислений и их применение: монография

Отзывы: нет