dc.contributor.author | Wolter, Uwe Egbert | |
dc.contributor.author | Martini, Alfio | |
dc.contributor.author | Haeusler, Edward Hermann | |
dc.date.accessioned | 2023-02-09T12:29:48Z | |
dc.date.available | 2023-02-09T12:29:48Z | |
dc.date.created | 2023-01-24T00:25:42Z | |
dc.date.issued | 2022 | |
dc.identifier.issn | 0960-1295 | |
dc.identifier.uri | https://hdl.handle.net/11250/3049711 | |
dc.description.abstract | Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented, and concurrent programs. Here we focus on partial and total correctness assertions within the framework of Hoare logic and show that a comprehensive categorical analysis of its axiomatic semantics needs the languages of indexed and fibered category theory. We consider Hoare formulas with local, finite contexts, of program and logical variables. The structural features of Hoare assertions are presented in an indexed setting, while the logical features of deduction are modeled in the fibered one. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Cambridge University Press | en_US |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.subject | Høyere kategoriteori | en_US |
dc.subject | Higher category theory | en_US |
dc.subject | Hoare logikk | en_US |
dc.subject | Hoare logic | en_US |
dc.subject | Matematisk logikk | en_US |
dc.subject | Mathematical logic | en_US |
dc.title | Indexed and fibered structures for partial and total correctness assertions | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | Copyright 2022 The Author(s) | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1017/S0960129522000275 | |
dc.identifier.cristin | 2113656 | |
dc.source.journal | Mathematical Structures in Computer Science | en_US |
dc.subject.nsi | VDP::Matematikk og naturvitenskap: 400 | en_US |
dc.subject.nsi | VDP::Mathematics and natural scienses: 400 | en_US |
dc.identifier.citation | Mathematical Structures in Computer Science. 2022. | en_US |