<--- Back to Details
First PageDocument Content
Compiler construction / Compiler optimization / Static single assignment form / Java bytecode / Trace scheduling / Bytecode / Compiler / Threaded code / Java virtual machine / Software / Computing / Programming language implementation
Date: 2007-06-26 11:33:19
Compiler construction
Compiler optimization
Static single assignment form
Java bytecode
Trace scheduling
Bytecode
Compiler
Threaded code
Java virtual machine
Software
Computing
Programming language implementation

Add to Reading List

Source URL: static.usenix.org

Download Document from Source Website

File Size: 216,15 KB

Share Document on Facebook

Similar Documents

Computing / Software engineering / Computer programming / Concurrent programming languages / High-level programming languages / Type theory / Programming languages / Program analysis / Java virtual machine / Type system / Go / Java

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

DocID: 1t6jP - View Document

JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin

DocID: 1sleh - View Document

Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010

DocID: 1rRT9 - View Document

Theoretical computer science / Computing / Software engineering / Logic in computer science / Automated theorem proving / Static program analysis / Termination analysis / Rewriting / KeY / Automated reasoning / Bytecode / Christoph Walther

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

DocID: 1rrok - View Document