<--- Back to Details
First PageDocument Content
Assembly languages / Cross-platform software / Java virtual machine / Java bytecode / Stack / Subroutine / Instruction set / Java / Stack machine / Computing / Computer programming / Software engineering
Date: 2002-11-07 15:29:50
Assembly languages
Cross-platform software
Java virtual machine
Java bytecode
Stack
Subroutine
Instruction set
Java
Stack machine
Computing
Computer programming
Software engineering

c British Computer Society[removed]Reverse Execution of Java Bytecode

Add to Reading List

Source URL: www.dcs.ed.ac.uk

Download Document from Source Website

File Size: 238,30 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