Correctness of Java Card Method Lookup via Logical Relations
Abstract elided by the publisher.
Related papers
- SawjaCard: A Static Analysis Tool for Certifying Java Card Applications SAS 2014
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go JFP 2023
- Run-Time Support for Optimizations Based on Escape Analysis CGO 2007
- Java bytecode compression for low-end embedded systems TOPLAS 2000
- A Denotational Semantics of Inheritance and its Correctness OOPSLA 1989
- Simple and safe SQL queries with c++ templates GPCE 2007
- Optimizing Method Search with Lookup Caches and Incremental Coloring OOPSLA 1992
- FeatherTrait: A modest extension of Featherweight Java TOPLAS 2008