Search Results - (java OR jana) bytecode

Suggested Topics within your search. Suggested Topics within your search.

Search alternatives:

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    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
    Save to List
    Saved in:
  2. Cover Image

    Quantifying and Predicting the Influence of Execution Platform on Software Component Performance by Kuperberg, Michael

    Published 2021
    Subjects: “…Java Bytecode…”
    Get full text
    Online
    Save to List
    Saved in:

Search Tools: