Bytecode - PDFSEARCH.IO - Document Search Engine

Bytecode
Results: 279

#	Item
1	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 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
2	Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de - Date: 2011-05-12 14:18:21
3	Bytecodes and bytecode interpretation © 2015 Oracle, Mario Wolczko Interpretation technique #2: Add to Reading List Source URL: dl.dropboxusercontent.com
4	ActionScript Bytecode Verification With Co-Logic Programming ∗ Brian W. DeVries Gopal Gupta Kevin W. Hamlen Add to Reading List Source URL: utdallas.edu - Date: 2009-06-05 21:13:38
5	Assignment 4: Writing a Feeny Bytecode Compiler Patrick S. Li September 17, Add to Reading List Source URL: dl.dropboxusercontent.com
6	Assignment 3: Writing a Feeny Bytecode Machine Patrick S. Li September 10, Add to Reading List Source URL: dl.dropboxusercontent.com
7	AFRL-RY-WP-TRVULNERABILITIES IN BYTECODE REMOVED BY ANALYSIS, NUANCED CONFINEMENT AND DIVERSIFICATION (VIBRANCE) Alessandro Coglio, Marcel Becker, Stephen Fitzpatrick, Limei Gilham, Cordell Green, and Add to Reading List Source URL: samate.nist.gov - Date: 2015-10-27 14:35:32
8	JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin Add to Reading List Source URL: cs.nyu.edu - Date: 2013-09-17 23:46:00
9	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 Add to Reading List Source URL: d3s.mff.cuni.cz - Date: 2010-08-17 06:40:02
10	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 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

UPDATE