Foundations for Virtual Types
Abstract elided by the publisher.
Related papers
- A Compositional Account of the Java Virtual Machine POPL 1999
- A Formal Framework for the Java Bytecode Language and Verifier OOPSLA 1999
- A model of refactoring physically and virtually separated features GPCE 2009
- Relaxed virtual memory in Armv8-A ESOP 2022
- Reachability Analysis for AWS-Based Networks CAV 2019
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018
- A parsing machine for PEGs DLS 2008
- Mostly Sound Type System Improves a Foundational Program Verifier CPP 2013