r6 - 13 Sep 2006 - 14:02:02 - Sergei RomanenkoYou are here: TWiki >  Refaldevel Web > RFBR2007 > RFBR2007-4-7-1

4.7.1. Список основных публикаций коллектива, наиболее близко относящихся к предлагаемому проекту

АК 03.09.06: Ниже идут публикации ИПМ-овской части команды по теме "метавычисления". Надо еще добавить по Рефалу. Если в сумме окажется слишком много, выкинуть часть ссылок по метавычислениям, учитывая, что Рефал -- основное направление проекта, а метавычисления -- дополнительное. Первые кандидаты на выкидывание -- все Glueck&Klimov кроме "Occam", затем -- Klimov "Dynamic specialization", "Оссам", Klimov "Program specialization vs. program composition", все тезисы в Моряке (поскольку тезисы, а не статьи; их ценность для заявки разве что в том, что они свежие).

АО 11.09.06: Добавил публикации по Рефалу+ 2004 года.

-- Sergei Romanenko - 13 Sep 2006: Добавил ссылки на работы, сделанные в ИПС.

-- Sergei Romanenko - 13 Sep 2006: Добавил ссылки, присланные А.Немытых

  1. С. М. Абрамов, Н. В. Кондратьев. 1982. Компилятор, основанный на методе частичных вычислений, В сб.: Некоторые вопросы прикладной математики и программного обеспечения ЭВМ, МГУ.
  2. С. М. Абрамов, С. А. Романенко. 1988. Представление объектных выражений массивами при реализации языка Рефал, Препринт, No 186, Институт прикладной математики им. М. В. Келдыша АН СССР, М..
  3. Sergei A. Romanenko. 1988. 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 (eds.), Workshop on Partial Evaluation and Mixed Computation, GI. Avernaxs, Denmark, October 1987, North-Holland, 1988, pages 445--463.
  4. Sergei A. Romanenko. 1990. Arity Raiser and Its Use in Program Specialization. In N.Jones (ed.), ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15--18, 1990, LNCS 432, Springer-Verlag 1990, pages 341--360.
  5. Р. Ф. Гурин, С. А. Романенко. 1991. Язык программирования Рефал Плюс, Интертех, М..
  6. С. М. Абрамов. 1991. Метавычисления и логическое программирование, Программирование No 3, pp. 31-44.
  7. Andrei V. Klimov. 1991. Dynamic specialization in extended functional language with monotone objects. ACM SIGPLAN Symposium on Partial Evaluation and Semantic-based Program Manipulation. (Yale University, New Haven, USA, June 17-19, 1991). SIGPLAN Notices, 26, No. 9 (September 1991), pp. 199-210.
  8. Robert Glueck and Andrei V. Klimov. 1993. Occam's razor in metacomputation: the notion of a perfect process tree, In Proceedings of International Static Analysis Symposium, Padova, Italy. Lecture Notes in Computer Science, Vol. 724, 112-123, Springer-Verlag 1993.
  9. S. Abramov. 1993. Metacomputation and program testing, Proc.The First International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), Linkooping Univ., Sweden, 3-5 May, 1993, pp. 121-135.
  10. Robert Glueck and Andrei V. Klimov. 1994. Metacomputation as a tool for formal linguistic modeling. Cybernetics and Systems '94, 2, 1563-1570, World Scientific, Singapore, 1994.
  11. S. Abramov. 1994. Metacomputation and program testing, Теоретические и прикладные основы программных систем, Институт программных систем РАН, Переславль-Залесский.
  12. Robert Glueck and Andrei V. Klimov. 1995. Metasystem transition schemes in computer science and mathematics, World Futures: the Journal of General Evolution 45, 213-243, 1995.
  13. С. М. Абрамов. 1995. Метавычисления и их применение, Наука-Физматлит, M.
  14. V. F. Turchin, A. P. Nemytykh. 1995. Metavariables: Their implementation and use in Program Transformation, Technical Report, 1995, June, CSc. TR 95-012, City College of CUNY.
  15. V. F. Turchin, A. P. Nemytykh. 1995. A Self-Applicable Supercompiler, Technical Report, 1995, June, CSc. TR 95-010, City College of CUNY.
  16. Andrei V. Klimov. 1996. A specification of a class of supercompilers. In Draft Proceedings of the Dagstuhl Seminar on Partial Evaluation, WSI-96-6, p.232, Universitaet Tuebingen, Germany, 1996.
  17. A. P. Nemytykh, V. A. Pinchuk, V. F. Turchin. 1996. A Self-Applicable Supercompiler, Lecture Notes in Computer Science 1110, 322-337.
  18. A. P. Nemytykh, V. A. Pinchuk. 1996. Program transformation with Metasystem Transitions: Experiments with a Supercompiler, Lecture Notes in Computer Science 1181, 249-260.
  19. Robert Glueck and Andrei V. Klimov. 1997. A regeneration scheme for generating extensions. Information Processing Letters 62, 127-134, 1997.
  20. Robert Glueck and Andrei V. Klimov. 1997. On the degeneration of program generators by program composition. New Generation Computing 16, 75-96, 1997.
  21. S. Abramov, R. Gluck. 1998. Semantic Modifiers: an Approach to Non-Standard Semantics of Programming Languages, pp. 247-270.
  22. Andrei V. Klimov. 1998. Program specialization vs. program composition. ACM Computing Surveys 30, September 1998 electronic issue.
    http://www.acm.org/pubs/contents/journals/surveys/1998-30/
  23. С. М. Абрамов, А. Ю. Пономарев, Ю. В. Шевчук. 1999. Широко доступный Интернет как путь в открытое общество. Опыт Переславля-Залесского, Труды конференции, Proc. Интернет. Общество. Личность (ИОЛ-99), СПб.
  24. С. М. Абрамов, А. И. Адамович, М. Р. Коваленко. 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ. Пример реализации алгоритма построения изображений методом трассировки лучей, Программирование 25 (2), 100 - 107.
  25. С. М. Абрамов, А. И. Адамович, А. П. Конышев. 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ, Тезисы докладов, Proc. Десятая юбилейная международнза конференция по вычислительной механике и современным прикладным программным средствам, Переславль-Залесский, 7-12 июня 1999 г., МГИУ, М., pp. 14-15.
  26. С. М. Абрамов, А. И. Адамович A. K. Айламазян (ed.) 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ, Программные системы. Теоретические основы и приложения, Наука-Физматлит, М..
  27. S. M. Abramov, R. Gluck. 2000. From Standard to Non-Standard Semantics by Semantics Modifiers, International Journal of Foundations of Computer Science 12 #2, pp. 171-211.
  28. S. M. Abramov, R. Gluck. 2000. Combining semantics with non-standard interpreter hierarchies, Lecture Notes in Computer Science 1974, pp. 201-213.
  29. S. M. Abramov, R. Gluck. 2000. The universal resolving algorithm: inverse computation in a functional language, Lecture Notes in Computer Science 1837, pp. 187-212.
  30. С. М. Абрамов, В. А. Васенин, Е. Е. Мамчиц, В. А. Роганов, А. Ф. Слепухин. 2000. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы, Труды конференции, Proc.Всероссийская научная конференция "Высокопроизводительные вычисления и их приложения", 30 октября-2 ноября 2000 г., г. Черноголовка, Изд-во МГУ, М., pp. 261-264.
  31. S. M. Abramov, R. Gluck. 2001. Inverse Computation and the Universal Resolving Algorithm, Wuhan University Journal of Natural Sciences 6, #1-2, 31-45.
  32. С. М. Абрамов, В. А. Васенин, Е. Е. Мамчиц, В. А. Роганов, А. Ф. Слепухин. 2001. Динамическое распараллеливание программ на базе парал-лельной редукции графов. Архитектура программного обеспечения новойверсии Т-системы, Сборник научных трудов, Proc. Научная сессия МИФИ-2001, 22-26 января 2001 г., vol. 2, p. 234.
  33. S. M. Abramov, R. Gluck. 2002. The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functioanl Language, Science of Computer Programming, 193- 229.
  34. S. M. Abramov, R. Gluck. 2002. Principles of Inverse Computation and the Universal Resolving Algorithm, The Essence of Computation: Complexity, Analysis, Transformation (T. Mogensen, D. Schmidt, I. H. Sudborough, eds.), vol. No. 2566, Springer-Verlag, pp. 269-295, Essays Dedicated to Neil D. Jones.
  35. A.P. Nemytykh. 2002. A Note on Elemination of Simplest Recursions, In: Proceedings of the ACM SIGPLAN Asia-PEPM'02, ACM Press, pp:138-146, Aizu, Japan.
  36. Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko and Sergei Yu. Skorobogatov. 2003. Partial Evaluation for Common Intermediate Language. In Manfred Broy and Alexandre V. Zamulin (eds.), Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Lecture Notes in Computer Science, Vol. 2890, Springer-Verlag, December 2003. Pages 171-177.
  37. S. Abramov, R. Gluck, Y. Klimov А. К. Айламазян (ed.) 2003. An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages, Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля, Изд-во "Университета города Переславля", Переславль-Залесский, ISBN 5-901795-02-4.
  38. A.P. Nemytykh. 2003. The Supercompiler SCP4: General Structure. Perspectives of System Informatics, Lecture Notes in Computer Science, vol. 2890, pp: 162-170.
  39. А. П. Немытых. 2004. Суперкомпилятор SCP4: общая структура. Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, Т. 1, май 2004, Наука,-Физматлит, М.. c. 449-485
  40. С. М. Абрамов, А.Ю. Орлов. 2004. Компиляция в императивные языки синтаксического отождествления языка Рефал. Труды международной конференции "Программные системы: теория и приложения", ИПС РАН, г. Переславль-Залесский, май 2004 / Под редакцией С. М. Абрамова. В двух томах. -- М.: Физматлит, 2004. -- Т. 1, с.403-447.
  41. С. М. Абрамов, А. Ю. Орлов, Л. В. Парменова, С. М. Пономарева, А. Ф. Слепухин. 2004. Новый подход к реализации системы программирования Рефал Плюс. Труды международной конференции "Программные системы: теория и приложения", ИПС РАН, г. Переславль-Залесский, май 2004 / Под редакцией С. М. Абрамова. В двух томах. -- М.: Физматлит, 2004. -- Т. 1, с.373-401.
  42. С. М. Абрамов, А. Ю. Орлов, Л. В. Парменова, С. М. Пономарева, А. Ф. Слепухин. 2004. Система программирования Рефал Плюс: новый подход к реализации. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет", 20 - 25 сентября 2004 года, Новороссийск. С.101-103.
  43. Сергей Михайлович Абрамов, Владимир Александрович Роганов. 2004. Динамическая специализация как средство оптимизации распределенных вычислений и как метод создания адаптивных сервисов для GRID-систем, Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, май 2004, Наука,-Физматлит, М.. с. 197-209
  44. A.V. Korlyukov and A.P. Nemytykh. 2004. Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second), (in English), Вестник национального технического университета "Харьковского политехнического института", Харьков, No. 1 (2004), pp: 123-150.
  45. Андрей В. Климов. 2005. Декларативное определение суперкомпиляции как отношения между входной и выходной программами и его свойства. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии распределенных вычислений", 19 - 24 сентября 2005 года, Новороссийск. С.93-95.
  46. Юрий А. Климов. 2005. О поливариантном анализе времен связывания в специализаторе объектно-ориентированного языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии распределенных вычислений", 19 - 24 сентября 2005 года, Новороссийск. С.89-91.
  47. А.П. Немытых. 2005. Суперкомпилятор SCP4: общая структура. Монография 175 страниц, 2005 - текст (подготовлена к публикации)
  48. С.М. Абрамов, А.А. Московский, В.А. Роганов, Ю.В. Шевчук, Е.В. Шевчук, Н.Н. Парамонов, О.П. Чиж. 2005. Open TS: архитектура и реализация среды для динамического распараллеливания вычислений. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, 19-24 сентября 2005 г. Новороссийск, Изд-во МГУ, М., с. 79-81.
  49. Sergey Abramov, Alexei Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, and Alexander Vodomerov. 2005. OpenTS: An Outline of Dynamic Parallelization Approach. Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings. Editors: Victor Malyshkin - Berlin etc. Springer, 2005. - Lecture Notes in Computer Science: Volume 3606, pp. 303-312.
  50. Sergei M. Abramov, Robert Glueck and Yuri A. Klimov. 2006. An Universal Resolving Algorithm for Inverse Computation in a Lazy Language. Perspectives of System Informatics (Proceedings of Andrei Ershov Sixth International Conference), A.P. Ershov Institute of Informatics Systems, Novosibirsk, 2006, pp.9-16.
  51. Andrei V. Klimov. 2006. Specification of Monogenetic Specializers as a Relation between Source and Residual Programs. Perspectives of System Informatics (Proceedings of Andrei Ershov Sixth International Conference), A.P. Ershov Institute of Informatics Systems, Novosibirsk, 2006, pp.141-147.
  52. Андрей В. Климов. 2006. Построение доказуемо корректного суперкомпилятора простого функционального языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии параллельного программирования", 18 - 23 сентября 2006 года, Новороссийск. 3 стр.
  53. Юрий А. Климов. 2006. Генератор остаточной программы и корректность специализатора объектно-ориентированного языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии параллельного программирования", 18 - 23 сентября 2006 года, Новороссийск. 3 стр.
  54. Vladimir Roganov, Alexander Moskovsky, Sergei Abramov. 2006. The Open TS parallel programming system. The Twelfth International Conference onParallel and Distributed Systems, Minneapolis, USA (ICPADS. July 12-15, 2006) (текст доклада в формате pdf)
  55. Sergei M. Abramov, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk. 2006. The Open TS dynamic parallelization system approach. PARA'06 WORKSHOP ON STATE-OF-THE-ART IN SCIENTIFIC AND PARALLEL COMPUTING Umea, Sweden June 18-21 2006 (доклад принят, текст доклада в формате pdf)

Замечание по wiki. Нумерация ссылок в окне редактирования Edit не имеет никакого значения! Wiki перенумеровывает сам. Для чистовой версии copy-paste будет делаться с html-страницы, изготовленной Wiki. Поэтому номера править совершенно не обязательно. Можно писать любое число, например, 0. -- AK 03.09.06

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r6 < r5 < r4 < r3 < r2 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback