Суперкомпилятор HOSC: доказательство корректности

Препринт ИПМ № 31, Москва, 2010 г.

Авторы:

Аннотация:

В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.

Язык публикации: русский/английский, страниц: 28/28

Направление исследований:

Программирование, параллельные вычисления, мультимедиа

Полный текст на русском языке:

Полный текст на английском языке:

Список цитирующих публикаций:

Экспорт ссылки на публикацию в формате:

Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 3 (+0), всего с 01.09.2019 — 51

Сведения об авторах:

Ключников Илья Григорьевич, ,

	Библиотеки, издания • Поиск публикаций	English
	Публикация