Специализатор CILPE: частичные вычисления для объектноориентированных языков

Специализатор CILPE: частичные вычисления для объектноориентированных языков

Автор: Климов Юрий Андреевич

Журнал: Программные системы: теория и приложения @programmnye-sistemy

Статья в выпуске: 3 (3) т.1, 2010 года.

Бесплатный доступ

В работе рассмотрена специализация программ на основе метода частичных вычислений применительно к программам на объектноориентированных языках. Дан обзор возможностей известных специализаторов для языков этого класса, приведено сравнение специализаторов. Описаны возможности специализатора CILPE и приведен пример его использования.

Специализация программ, частичные вычисления, объектноориентированные языки программирования, специализатор cilpe

Короткий адрес: https://sciup.org/14335880

IDR: 14335880

Список литературы Специализатор CILPE: частичные вычисления для объектноориентированных языков

  • Климов Ю.А., Возможности специализатора CILPE и примеры его применения к программам на объектно-ориентированных языках, Препринт № 30, ИПМ им. М. В. Келдыша, 2008, 28 с.
  • Климов Ю.А., "Генератор остаточной программы и корректность специализатора объектно-ориентированного языка", Научный сервис в сети Интернет: технологии параллельного программирования, Труды Всероссийской научной конференции (18-23 сентября 2006 г., г. Новороссийск), Изд-во МГУ, Москва, 2006,137-140
  • Климов Ю.А., "Метод частичных вычислений, позволяющий преобразовывать объектно-ориентированные программы в императивные", Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность, Труды Всероссийской суперкомпьютерной конференции (21-26 сентября 2009 г., г. Новороссийск), Изд-во МГУ, Москва, 2009, 241-246, ISBN: 978-5-211-05697-8
  • Климов Ю.А., "О поливариантном анализе времен связывания в специализаторе объектно-ориентированного языка", Научный сервис в сети Интернет: технологии распределенных вычислений, Труды Всероссийской научной конференции (19-24 сентября 2005 г., г. Новороссийск), Изд-во МГУ, Москва, 2005, 89-91,ISBN: 5-211-05141-6
  • Климов Ю.А., Особенности применения метода частичных вычислений к специализации программ на объектно-ориентированных языках, Препринт № 12, ИПМ им. М. В. Келдыша, 2008, 27 с.
  • Климов Ю.А., "Поливариантный анализ времен связывания в специализаторе CILPE для Common Intermediate Language платформы Microsoft.NET", Технологии Microsoft в теории и практике программирования, Труды Всероссийской конференции студентов, аспирантов и молодых ученых. Центральный регион (Москва, 17-18 февраля 2005 г.), Изд-во МГТУ им. Н. Э. Баумана, Москва, 2005,128, ISBN: 5-7038-2668-3
  • Климов Ю.А., "Преобразование объектно-ориентированных программ в императивные методом частичных вычислений", Программные продукты и системы, 2009, №2 (86), 71-74
  • Климов Ю.А., Специализатор CILPE: анализ времен связывания, Препринт № 7, ИПМ им. М. В. Келдыша, 2009, 28 с.
  • Климов Ю.А., Специализатор CILPE: генерация остаточной программы, Препринт № 8, ИПМ им. М. В. Келдыша, 2009, 26 с.
  • Климов Ю.А., Специализатор CILPE: доказательство корректности, Препринт № 33, ИПМ им. М. В. Келдыша, 2009, 32 с.
  • Климов Ю.А., SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ, Препринт № 44, ИПМ им. М. В. Келдыша, 2008, 32 с.
  • Affeldt R., Masuhara H., Sumii E., Yonezawa A., "Supporting objects in runtime bytecode specialization", Proceedings of the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, 2002, 50-60
  • Andersen L. O., C program specialization, Master's thesis, DIKU Student Project 91-12-17, DIKU, University of Copenhagen, Denmark, December 1991
  • Andersen L. O., "Partial Evaluation of C", Chapter 11: N. D. Jones, C. K. Gomard, P. Sestoft, Partial Evaluation and Automatic Compiler Generation, ed. C. A. R. Hoare, Prentice-Hall, 1993, 229-259
  • Andersen L. O., Program Analysis and Specialization for the C Programming Language, DIKU Technical Report, PhD thesis, Computer Science Department, University of Copenhagen, May 1994
  • Asai K., Masuhara H., Yonezawa A., "Partial evaluation of call-by-value lambdacalculus with side-effects", Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97), ed. Consel C., ACM Press, 1997, 12-21
  • Asai K., "Binding-time analysis for both static and dynamic expressions", Static Analysis Symposium, Lecture Notes in Computer Science, 1694, eds. Cortesi A., File G., Springer-Verlag, Berlin-Heidelberg, 1999, 117-133
  • Asai K., "Offline Partial Evaluation for Shift and Reset", ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), 2004, 3-14
  • Bertelsen P., Binding-time analysis for a JVM core language, http://www.dina.kvl.dk/~pmb, 1999
  • Chepovsky A. M., Klimov Andrey V., Klimov Arkady V., Klimov Yu. A., Mishchenko A. S., Romanenko S. A., Skorobogatov S. Y., "Partial Evaluation for Common Intermediate Language", Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference (PSI'2003) (Akademgorodok, Novosibirsk, Russia, July 9-12, 2003), Lecture Notes in Computer Science, 2890, eds. Broy M., Zamulin A. V., Springer-Verlag, Berlin-Heidelberg, 2003, 171-177, ISBN: 978-3-540-20813-6
  • Consel C., Lawall J. L., Le Meur A.-F., A Tour of Tempo: A Program Specializer for the C Language, 2003
  • Jones N. D., Gomard C. K., Sestoft P., Partial Evaluation and Automatic Compiler Generation, ed. C. A. R. Hoare, Prentice-Hall, 1993
  • Kerievsky J., Refactoring to Patterns, Addison Wesley, 2004
  • Klimov Yu. A., "An Approach to Polyvariant Binding Time Analysis for a Stack-Based Language", First International Workshop on Metacomputation in Russia, Proceedings of the First International Workshop on Metacomputation in Russia (Pereslavl-Zalessky, Russia, July 2-5, 2008), ed. Nemytykh A.P., Ailamazyan University of Pereslavl, Pereslavl-Zalessky, 2008, 78-84, ISBN: 978-5-901795-12-5
  • Masuhara H., Yonezawa A., "Run-time Program Specialization in Java Bytecode", Proceedings of the JSSST SIGOOC 1999 Workshop on Systems for Programming and Applications (SPA'99), 1999
  • Schultz U.P., Object-Oriented Software Engineering Using Partial Evaluation, PhD thesis, University of Rennes I, Rennes, France, December 2000
  • Schultz U.P., Lawall J. L., Consel C., "Automatic program specialization for Java", ACM Transactions on Programming Languagesand Systems, 25 (4) (2003), 452-499
  • C# programming language, http://msdn.microsoft.com/vcsharp/
  • Common Language Infrastructure (CLI), http://www.ecma-international.org/publications/standards/Ecma-335.htm
  • Microsoft.NET Framework, http://www.microsoft.com/net/
Еще
Статья научная
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp