Автоматический синтез программ - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Корухова Ю.С.
Год создания: 2008
Организация: МГУ имени М.В. Ломоносова
Описание: В спецкурсе рассматривается автоматизированное построение программ на основе трех основных подходов: индуктивного, дедуктивного и трансформационного. Исходными данными для синтеза программы могут быть спецификация, результаты работы программы на различных входных данных, а также программа, которую требуется преобразовать в другую (например, более эффективную по числу операций). Рассматриваются теоретические методы, проблемы, которые возникают при их применении в автоматизированном режиме и возможные варианты их решения.
Добавил в систему: Корухова Юлия Станиславовна

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ЦЭМИ РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА