Наукові видання Львівського національного університету імені Івана Франка

Вісник Львівського університету. Серія прикладна математика та інформатика

Інформація
Рік видання 2010
Випуск 16
Автори Нікітченко М., Іванов Є.
Назва статті Композиційно-номінативні мови програм з асоціативним розіменуванням
Анотація Розглянуто проблему стабільної поведінки програм зі зміною структури вхідних даних. Для уточнення проблеми сформульовано визначення номінативних даних зі складними іменами; побудовано та досліджено композиційно-номінативні мови програм над такими даними. Введено поняття номінативної еквівалентності даних і доведено, що програми композиційно-номінативних мов з асоціативним розіменуванням мають стабільну поведінку, тобто зберігають номінативну еквівалентність даних.
Мова Українська
PDF формат Нікітченко М., Іванов Є. Композиційно-номінативні мови програм з асоціативним розіменуванням
small logo
©2003-2009 Львівський університет | Контакти