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
Explicit auditing - MaRDI portal

Explicit auditing

From MaRDI portal

Publication:1623147

Jump to:navigation, search

DOI10.1007/978-3-030-02508-3_20OpenAlexW2887832750MaRDI QIDQ1623147

James Cheney, Wilmer Ricciotti

Publication date: 23 November 2018

Full work available at URL: https://arxiv.org/abs/1808.00486

zbMATH Keywords

lambda calculus explicit substitutions justification logic abstract machines audited computation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Correct audit logging in concurrent systems

This page was built for publication: Explicit auditing

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