Type-Separation as a Method for Efficient Bytecode Verification Philipp Adler and Wolfram Amme Friedrich-Schiller-Universit¨ at Jena, Ernst-Abbe-Platz 1-4, 07743 Jena, Germany, {phadler,amme}@informatik.uni-jena.de

Source URL: swt.informatik.uni-jena.de

Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fausto Spoto1 Dipartimento di Informatica Universit` a di Verona

Source URL: www.secs.oakland.edu

Efficient Bytecode Verification for Constrained Devices Philipp Adler and Wolfram Amme Friedrich-Schiller-University Jena Institute for Computer Sciences Ernst-Abbe-PlatzJena, Germany

Source URL: swt.informatik.uni-jena.de

PDF Document

Source URL: homepages.ecs.vuw.ac.nz

• Computing
• Software engineering
• Object-oriented programming languages
• Data types
• Primitive types
• Java platform
• Java
• Java bytecode
• Model theory
• String
• Java class file
• Pointer

Java Bytecode Verification for @NonNull Types Chris Male, David J. Pearce, Alex Potanin and Constantine Dymnikov Victoria University of Wellington, NZ, {malechri,djp,alex,dymnikkost}@mcs.vuw.ac.nz Abstract. Java’s anno

Source URL: homepages.ecs.vuw.ac.nz

PICOBIT: A Compact Scheme System for Microcontrollers

Source URL: www.ccs.neu.edu

• Compiler
• Programming language implementation
• Bytecode
• Microcontroller
• Electronics
• Embedded system
• Software
• Computing
• Compiler construction

Delft University of Technology Software Engineering Research Group Technical Report Series Mixing Source and Bytecode – A Case for Compilation by Normalization

Source URL: swerl.tudelft.nl

• Programming language implementation
• Cross-platform software
• Compiler construction
• Java platform
• Java programming language
• Bytecode
• Java
• Compiler
• Python
• Computing
• Software engineering
• Software

Cost Analysis of Java Bytecode E. Albert1 , P. Arenas1 , S. Genaim2 , G. Puebla2 , and D. Zanardini2 1 2

Source URL: clip.dia.fi.upm.es

c ACM, published in TOPLAS volume 22(3), MayPreprint of final version. Java Bytecode Compression for Low-End Embedded Systems

Source URL: websrv0a.sdu.dk

Heap Space Analysis for Java Bytecode Elvira Albert Samir Genaim Miguel G´omez-Zamalloa

Source URL: clip.dia.fi.upm.es