<--- Back to Details
First PageDocument Content
Cross-platform software / Aspect-oriented software development / Aspect-oriented programming / Java programming language / Byte Code Engineering Library / Java bytecode / Java / Reflection / Object-oriented programming / Computing / Software / Programming paradigms
Date: 2005-03-18 09:29:13
Cross-platform software
Aspect-oriented software development
Aspect-oriented programming
Java programming language
Byte Code Engineering Library
Java bytecode
Java
Reflection
Object-oriented programming
Computing
Software
Programming paradigms

Microsoft Word - rail_paper_camera_ready.doc

Add to Reading List

Source URL: rail.dei.uc.pt

Download Document from Source Website

File Size: 215,91 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