Автор: Ю.А. Климов
Название:
SOOL: объектно-ориентированный стековый язык для формального описания и реализации методов специализации программ
Дата: Москва, 2008 г.
Язык публикации: Русский, страниц: 32
ссылка:
http://www.keldysh.ru/papers/2008/sourc ... 008_44.pdf
Аннотация
В работе представлен модельный язык SOOL, который близок к внутренним языкам платформ Java и Microsoft .NET. Формально описаны его синтаксис, семантика и типизация. Язык SOOL разрабатывался для формального описания и реализации методов специализации для объектно-ориентированных языков. Он используется как внутренний язык специализатора CILPE.
Работа поддержана проектами РФФИ № 06-01-00574-а и № 08-07-
00280-а и проектом Роснауки № 2007-4-1.4-18-02-64.
Дополнительные публикации автора:
http://library.keldysh.ru/author_page.asp?aid=2965