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
A static type system for JVM access control - MaRDI portal

A static type system for JVM access control

From MaRDI portal

Publication:5261278

Jump to:navigation, search

DOI10.1145/944705.944726zbMath1315.68040OpenAlexW2066524998MaRDI QIDQ5261278

Tomoyuki Higuchi, Atsushi Ohori

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/944705.944726

zbMATH Keywords

type system type inference access control JVM stack inspection

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items

Types and trace effects for object orientation

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