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
Correctness of Java card method lookup via logical relations - MaRDI portal

Correctness of Java card method lookup via logical relations

From MaRDI portal

Publication:1603654

Jump to:navigation, search

DOI10.1016/S0304-3975(01)00138-4zbMath0997.68025MaRDI QIDQ1603654

Publication date: 15 July 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

operational semantics Java optimisation smart cards compiler correctness

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Uses Software

Unnamed Item

This page was built for publication: Correctness of Java card method lookup via logical relations

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