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
Verified scalable parallel computing with Why3 - MaRDI portal

Verified scalable parallel computing with Why3

From MaRDI portal

Publication:6550601

Jump to:navigation, search

DOI10.1007/978-3-031-47115-5_14MaRDI QIDQ6550601

Frédéric Loulergue, Olivia Proust

Publication date: 5 June 2024

zbMATH Keywords

scalable parallel computing functional programming interactive theorem proving deductive verification

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Verified scalable parallel computing with Why3

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