Эффективный алгоритм синтеза программ с условиями и подпрограммами; Известия Томского политехнического университета [Известия ТПУ]; Т. 313, № 5: Управление, вычислительная техника и информатика

Detalles Bibliográficos
Parent link:	Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84]
Autor principal:	Пинжин А. Е. Алексей Евгеньевич
Otros Autores:	Новосельцев В. Б. Виталий Борисович
Sumario:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.
Lenguaje:	ruso
Publicado:	2008
Colección:	Управление, вычислительная техника и информатика
Materias:	алгоритмы синтеза синтез подпрограммы спецификация предварительная подготовка структуры данных затраты линейные функции функциональные связи логические выводы функциональное программирование условия труды учёных ТПУ электронный ресурс программы
Acceso en línea:	http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf
Formato:	Electrónico Capítulo de libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677

Descripción
Descripción Física:	1 файл (382 Кб)
Sumario:	Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.

Ejemplares similares