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
Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification - MaRDI portal

Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification

From MaRDI portal

Publication:6572558

Jump to:navigation, search

DOI10.4230/LIPICS.ITP.2022.20MaRDI QIDQ6572558

Hrutvik Kanabar, A. C. J. Fox, Magnus O. Myreen

Publication date: 15 July 2024

zbMATH Keywords

interactive theorem proving HOL4 compiler verification ISA specification

Mathematics Subject Classification ID

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

This page was built for publication: Taming an authoritative armv8 ISA specification: L3 validation and cakeml compiler verification

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

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