Related projects by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any med

First Page		Document Content
Date: 2003-04-12 08:49:01 Computing Software Scripting languages Java platform Object-oriented programming languages Software testing Jython Application programming interface Java bytecode Apache Ant Jakarta Project Java		Related projects by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any med Add to Reading List Source URL: aft.sourceforge.net Download Document from Source Website File Size: 10,57 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