Bytecode

Results: 279



#Item
11Designing a verifying compiler: Lessons learned from developing Whiley

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
12A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

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
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.

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
14DIVILAR: 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

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
15Dynamically 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

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
16MetaVM: 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

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
17Asynchronous 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

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
18Checking Security of Java Bytecode by Abstract Interpretation Roberto Barbuti DiparUmento di Informatica Universit~ di Pisa Corso Italia 40

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
19mzc: PLT Compilation and Packaging VersionApril 2, 2010 The mzc tool supports various PLT Scheme compilation and packaging tasks.

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
20Related 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

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