Towards defining program logics via three-level scheme

MaRDI QIDQ6976549zbMATH OpenFDO

Authors M. S. Nikitchenko

Publication date 2 June 2025

zbMATH Keywords

compositionalitypredicate logicprogram logicpartial algebranominativityHoare triple

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

This page was built for publication: Towards defining program logics via three-level scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6976549)