Bytecode - PDFSEARCH.IO - Document Search Engine

Bytecode
Results: 279

#	Item
31	Bytecode Translation: From The .Net CLR To Parrot Jonathan Worthington OSCON 2007 Add to Reading List Source URL: jnthn.net Language: English - Date: 2014-10-21 09:51:13 Software System software Computing Programming language implementation Compiler construction Bytecode Parrot virtual machine VM Compiler Virtual machine
32	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
33	Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-06-20 06:07:02 Logic Theoretical computer science Mathematical logic Logic in computer science Java bytecode Hoare logic Interpretation Separation logic Bytecode Model theory
34	IBM Presentations: Smart Planet Template Add to Reading List Source URL: pengwu.files.wordpress.com Language: English - Date: 2014-01-02 16:27:05 Array programming languages Functional languages Java platform Cross-platform software Compiler construction Just-in-time compilation R Java Bytecode Interpreter PyPy Profiling
35	The bytecode mumbo-jumbo #perfmatters @rrafols Add to Reading List Source URL: blog.rafols.org - Date: 2016-04-07 09:40:01
36	Simple verification technique for complex Java bytecode subroutines Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2004-06-29 02:28:59
37	J OURNAL OF O BJECT T ECHNOLOGY Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Add to Reading List Source URL: www.jot.fm Language: English - Date: 2016-03-25 11:19:13
38	Mastering Java Bytecode with Learn someASM bytecode to yourself! Add to Reading List Source URL: s3-eu-west-1.amazonaws.com - Date: 2012-05-25 06:22:43
39	COMP 520 FallThe language Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-09-24 10:40:20 Java platform Java Computing platforms Cross-platform software Concurrent programming languages Java bytecode This Constructor
40	LNCSA Bytecode Logic for JML and Types Add to Reading List Source URL: www.tcs.ifi.lmu.de Language: English - Date: 2015-04-30 05:57:24