Bytecode - PDFSEARCH.IO - Document Search Engine

Bytecode
Results: 279

#	Item
11	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
12	A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:28 Compiler optimizations Computing Program analysis Abstract interpretation Data-flow analysis Abstraction Static single assignment form Graph Bytecode Register allocation Algorithm Academia
13	Last week, David Terei lectured about the compilation pipeline which is responsible for producing the executable binaries of the Haskell code you actually want to run. Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2016-03-09 18:09:06 Software engineering Computing Software Functional languages Haskell Glasgow Haskell Compiler Clean Green threads Entry point Runtime system Bytecode Yi
14	DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu Add to Reading List Source URL: yajin.org Language: English - Date: 2016-06-04 10:52:06 Computing Software Java virtual machine Android Cross-platform software Smartphones Computing platforms Dalvik Bytecode Android Runtime Java bytecode Java
15	Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2011-08-04 20:21:16 Computing Java platform Java virtual machine Cross-platform software Concurrent programming languages Object-oriented programming languages Java Bytecode Library Dalvik Pointer Memory footprint
16	MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan Add to Reading List Source URL: www.shudo.net Language: English - Date: 2003-06-09 05:29:37 Computing Software Java platform Cross-platform software Compiler construction Inter-process communication Programming language implementation Java virtual machine Java Just-in-time compilation Distributed object Bytecode
17	Asynchronous Migration of Execution Context in Java Virtual Machines Kazuyuki Shudo∗, Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, Japan Add to Reading List Source URL: www.shudo.net Language: English - Date: 2003-06-09 06:02:04 Computing Java platform Computing platforms Cross-platform software Java virtual machine Sun Microsystems Just-in-time compilation Green threads Java HotSpot Bytecode Interpreter
18	Checking Security of Java Bytecode by Abstract Interpretation Roberto Barbuti DiparUmento di Informatica Universit~ di Pisa Corso Italia 40 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-03-21 10:34:46 Obfuscation Computer programming Keyword cipher Index of Abkhazia-related articles Software engineering Index of standards articles
19	mzc: PLT Compilation and Packaging VersionApril 2, 2010 The mzc tool supports various PLT Scheme compilation and packaging tasks. Add to Reading List Source URL: download.plt-scheme.org Language: English - Date: 2010-04-02 17:29:54 Software Computing System software Programming language implementation Android Java virtual machine Compiler construction Bytecode Executable Dalvik Android Runtime Racket
20	Related projects by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any med Add to Reading List Source URL: aft.sourceforge.net Language: English - Date: 2003-04-12 08:49:01 Computing Software Scripting languages Java platform Object-oriented programming languages Software testing Jython Application programming interface Java bytecode Apache Ant Jakarta Project Java

UPDATE