Эффективный алгоритм синтеза программ с условиями и подпрограммами
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 313, № 5: Управление, вычислительная техника и информатика.— 2008.— [С. 77-84] |
|---|---|
| المؤلف الرئيسي: | |
| مؤلفون آخرون: | |
| الملخص: | Заглавие с титульного листа Электронная версия печатной публикации Предлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами. |
| اللغة: | الروسية |
| منشور في: |
2008
|
| سلاسل: | Управление, вычислительная техника и информатика |
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf |
| التنسيق: | الكتروني فصل الكتاب |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=173677 |