検索結果 - (java OR jana) bytecode

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler 著者: Lochbihler, Andreas

“…The Java programming language provides safety and security guarantees such as type safety and its security architecture. …”
全文の入手

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance 著者: Kuperberg, Michael

主題: “…Java Bytecode…”
全文の入手