Hardware Support for Safety-Critical Java Scope Checks
2017 ◽
Vol 17
(23)
◽
pp. 859-877