Indexed and fibered structures for partial and total correctness assertions
From MaRDI portal
Publication:5889306
DOI10.1017/S0960129522000275MaRDI QIDQ5889306
Edward Hermann Haeusler, U. E. Wolter, A. R. Martini
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
fibrations; Hoare logic; indexed categories; partial correctness assertions; total correctness assertions
68-XX: Computer science
Uses Software