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
Refinement of parallel algorithms down to LLVM - MaRDI portal

Refinement of parallel algorithms down to LLVM

From MaRDI portal

Publication:6572562

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2022.24MaRDI QIDQ6572562

Peter Lammich

Publication date: 15 July 2024

zbMATH Keywords

parallel sorting concurrent separation logic LLVM isabelle

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting

This page was built for publication: Refinement of parallel algorithms down to LLVM

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

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