Partial correctness of a factorial algorithm
From MaRDI portal
Publication:2337337
DOI10.2478/FORMA-2019-0017zbMath1432.68536OpenAlexW2963647469WikidataQ127494107 ScholiaQ127494107MaRDI QIDQ2337337
Artur Korniłowicz, Adrian Jaszczak
Publication date: 19 November 2019
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2019-0017
Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Four decades of {\textsc{Mizar}}. Foreword
- Proving properties of programs on hierarchical nominative data
- Implementation of the composition-nominative approach to program formalization in Mizar
- The role of the Mizar mathematical library for interactive proof development in Mizar
- Simple-named complex-valued nominative data -- definition and basic operations
- Kleene algebra of partial predicates
- On algebras of algorithms and specifications over uninterpreted data
- On an algorithmic algebra over simple-named complex-valued nominative data
- An inference system of an extension of Floyd-Hoare logic for partial predicates
- An axiomatic basis for computer programming
This page was built for publication: Partial correctness of a factorial algorithm
