Київський Вісник Київського національного університету імені Тараса Шевченка / Київський, університет імені національний; редкол.: голов. ред. Анісімов А.В. ; Хусаінов Д.Я., Arturs Medvids, Miklos Ronto [та ін.]. - Київ, 2016
Анотація:
Вводяться спеціальні специфікаційні алгебри над класами квазіарних відображень. Ці алгебри відображають такі властивості програмних систем, як частковість даних, частковість та необмежена арність предикатів та функцій, чутливість до невизначених даних. Досліджено властивості побудованих алгебр та визначено нормальні форми термів у цих алгебрах. Запропоновані методи можуть бути корисними для побудови та дослідження алгебр та логік для доведення властивостей програм.
Special program specification algebras defined for classes of quasiary mappings are introduced. These algebras reflect such features of software systems as partiality of data, partiality and unrestricted arity of predicate and functions, sensitivity to unassigned variables. For the constructed algebras their properties are studied and normal forms of their terms are defined. The proposed methods can be useful for construction and investigation of algebras and logics for program reasoning.