Please use this identifier to cite or link to this item: http://earchive.tpu.ru/handle/11683/2433
Full metadata record
DC FieldValueLanguage
dc.contributor.authorПинжин, Алексей Евгеньевичru
dc.contributor.authorНовосельцев, Виталий Борисовичru
dc.date.accessioned2015-11-20T02:52:30Z-
dc.date.available2015-11-20T02:52:30Z-
dc.date.issued2008-
dc.identifier.citationПинжин А. Е. Эффективный алгоритм синтеза программ с условиями и подпрограммами / А. Е. Пинжин, В. Б. Новосельцев // Известия Томского политехнического университета [Известия ТПУ]. — 2008. — Т. 313, № 5: Управление, вычислительная техника и информатика. — [С. 77-84].ru
dc.identifier.issn1684-8519-
dc.identifier.urihttp://earchive.tpu.ru/handle/11683/2433-
dc.description.abstractПредлагается алгоритм синтеза программ с условиями и подпрограммами на основе заданной спецификации. Алгоритм позволяет добиться высокой производительности за счет предварительной подготовки специальных структур данных. Затраты на вывод и извлечение программы характеризуются линейной функцией от функциональных связей, объявленных в спецификации. Приведены результаты опытного сравнения с существующими алгоритмами.ru
dc.format.mimetypeapplication/pdf-
dc.language.isoruen
dc.publisherТомский политехнический университетru
dc.relation.ispartofИзвестия Томского политехнического университета [Известия ТПУ]. 2008. Т. 313, № 5: Управление, вычислительная техника и информатика-
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.sourceИзвестия Томского политехнического университета-
dc.subjectалгоритмы синтеза-
dc.subjectсинтез-
dc.subjectподпрограммы-
dc.subjectспецификация-
dc.subjectпредварительная подготовка-
dc.subjectструктуры данных-
dc.subjectзатраты-
dc.subjectлинейные функции-
dc.subjectфункциональные связи-
dc.subjectлогические выводы-
dc.subjectфункциональное программирование-
dc.subjectусловия-
dc.subjectпрограммы-
dc.titleЭффективный алгоритм синтеза программ с условиями и подпрограммамиru
dc.typeArticleen
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.typeinfo:eu-repo/semantics/articleen
dcterms.audienceResearchesen
local.description.firstpage77-
local.description.lastpage84-
local.filepathhttp://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2008/v313/i5/17.pdf-
local.identifier.bibrecRU\TPU\book\188358-
local.identifier.perskeyRU\TPU\pers\25407-
local.identifier.perskeyRU\TPU\pers\25404-
local.issue5-
local.localtypeСтатьяru
local.volume313-
Appears in Collections:Известия Томского политехнического университета. Инжиниринг георесурсов

Files in This Item:
File Description SizeFormat 
bulletin_tpu-2008-313-5-17.pdf386,28 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.