Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming - MaRDI portal

A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming

From MaRDI portal

Publication:6535845

Jump to:navigation, search

DOI10.1007/978-3-031-40436-8_15zbMath1547.68129MaRDI QIDQ6535845

Qin Li, Rundong Mu

Publication date: 28 February 2024

zbMATH Keywords

refinement Coq program algebra unifying theories of programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

This page was built for publication: A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6535845&oldid=40057514"