Search Results - (java OR jean) bytecode

Search alternatives:

  • Showing 1 - 2 results of 2
Refine Results
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler by Lochbihler, Andreas

    Published 2021
    “…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
    Get full text
    Online