Bytecode

Results: 279



#Item
151Data types / Java programming language / Cross-platform software / Java virtual machine / Java bytecode / Lambda calculus / Javac / Type system / Subtype polymorphism / Computing / Software / Type theory

Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:13
152Cross-platform software / Data types / Subroutines / Type theory / Assembly languages / Java bytecode / Java / Pointer / Type system / Computing / Software engineering / Computer programming

Functional Java Bytecode∗ Christopher LEAGUE Valery TRIFONOV Zhong SHAO

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:12
153Assembly languages / X86 architecture / C programming language / Assemblers / X86 instructions / Calling convention / Low-level programming language / Java bytecode / X86 / Computing / Computer architecture / Software engineering

TALx86: A Realistic Typed Assembly Language∗ Greg Morrisett Karl Crary† Neal Glew Dan Grossman Richard Samuels Frederick Smith David Walker Stephanie Weirich Steve Zdancewic Cornell University Abstract

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-29 08:17:52
154Compiler construction / Just-in-time compilation / Bytecode / Interpreter / ARM architecture / Software / Virtual machines / Computing

Stranger in These Parts A Hired Gun in the JS Corral Andy Wingo JSConf 2012

Add to Reading List

Source URL: wingolog.org

Language: English - Date: 2012-04-02 10:39:24
155Compiler construction / Cross-platform software / Functional languages / OCaml / Bytecode / Compiler / Preprocessor / Compiled language / Interpreter / Computing / Software / Programming language implementation

Part II Development Tools 193

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
156System software / Java virtual machine / Java platform / Computing platforms / Java / Bytecode / Pointer / Computing / Software / Cross-platform software

Colorado Software Summit: October 24 – 29, 2004 © Copyright 2004, Simon Roberts Security Foundations of Java Simon Roberts

Add to Reading List

Source URL: www.softwaresummit.com

Language: English - Date: 2008-01-03 04:05:15
157Compiler construction / Cross-platform software / Java programming language / Programming language implementation / Computing platforms / Java virtual machine / Java bytecode / Java / Just-in-time compilation / Computing / Software engineering / Software

Joeq: A Virtual Machine and Compiler Infrastructure John Whaley Computer Systems Laboratory Stanford University Stanford, CA 94305

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2007-04-01 19:34:55
158Intermediate language / Compiler / Code generation / Static single assignment form / Interpreter / Bytecode / Abstract syntax tree / GNU Compiler Collection / Pointer / Software / Compiler construction / Computing

Microsoft Word - 16-Intermediate-Rep.doc

Add to Reading List

Source URL: dragonbook.stanford.edu

Language: English - Date: 2008-09-08 17:19:33
159Cross-platform software / Java bytecode / Compiler construction / Stack machine / Java virtual machine / Bytecode / Stack / Java / Compiler / Computing / Software / Assembly languages

JoeQ Framework CS243, Winter 2015 Overview ●

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2015-01-21 07:47:11
160Cross-platform software / Programming language implementation / Java platform / Computing platforms / Java virtual machine / Java bytecode / Bytecode / Java / Compiler / Computing / Software / Compiler construction

Science of Computer Programming[removed]–356 www.elsevier.com/locate/scico Joeq: A virtual machine and compiler infrastructure John Whaley Computer Systems Laboratory, Stanford University, Stanford, CA 94305, Unit

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2007-04-01 19:35:03
UPDATE