3 public-domain matches

Java Bytecode

Cover of Quantifying and Predicting the Influence of Execution Platform on Software Component Performance

Quantifying and Predicting the Influence of Execution Platform on Software Component Performance

Michael Kuperberg

Cover of A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

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

Andreas Lochbihler

Cover of A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

Tassilo Horn