Generalising KAT to verify weighted computations

Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transition...

Full description

Bibliographic Details
Main Author: Gomes, Leandro (author)
Other Authors: Madeira, Alexandre (author), Barbosa, L. S. (author)
Format: article
Language:eng
Published: 2019
Subjects:
Kleene algebra
Fuzzy relations
Hoare logic
Graded tests
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Online Access:http://hdl.handle.net/1822/69188
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69188

Internet

http://hdl.handle.net/1822/69188

Similar Items