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