Java virtual machine - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2003-06-26 05:11:19 Data types Java platform Type theory Java virtual machine Java bytecode Bytecode Java Subtype polymorphism Pointer Computing Software Cross-platform software		Add to Reading List Source URL: gallium.inria.fr Download Document from Source Website File Size: 271,02 KB Share Document on Facebook

	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
	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany DocID: 1rrok - View Document