Логіки, орієнтовані на специфікації програм

• Datum: 2006
• Hauptverfasser: Нікітченко, М.С., Шкільняк, С.С., Омельчук, Л.Л.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут програмних систем НАН України 2006
• Schlagworte: Теоретичні та методологічні основи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/1514
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Логіки, орієнтовані на специфікації програм / М.С. Нікітченко, С.С. Шкільняк, Л.Л. Омельчук // Проблеми програмування. — 2006. — N 2-3. — С. 17-24. — Бібліогр.: 28 назв. — укр.

Розглянуті композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико- синтаксичному стилі на основі композиційно-номінативного підходу. Пропонується спектр композиційно-номінативних логік різних рівнів абстрактності та загальності. Для логік еквітонних...