Zoekresultaten - (java OR jna) bytecode

Alternatieven:

  • Toon 1 - 2 resultaten van 2
Verfijn jouw resultaten
  1. A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler door Lochbihler, Andreas

    Gepubliceerd in 2021
    “…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
    Volledige tekst
    Online