Bytecode

Results: 279



#Item
41COMP 520 FallVirtual machines (1) Virtual machines

COMP 520 FallVirtual machines (1) Virtual machines

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-10-19 00:48:21
42COMP 520 FallVirtual machines (1) COMP 520 Fall 2007

COMP 520 FallVirtual machines (1) COMP 520 Fall 2007

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2007-10-19 00:48:32
43A Provably Correct Stackless Intermediate Representation for Java Bytecode Delphine Demange1 , Thomas Jensen2 , and David Pichardie2 2 1

A Provably Correct Stackless Intermediate Representation for Java Bytecode Delphine Demange1 , Thomas Jensen2 , and David Pichardie2 2 1

Add to Reading List

Source URL: www.irisa.fr

Language: English - Date: 2010-09-23 11:52:52
    44COMP 520 FallNative code generation (1) Native code generation

    COMP 520 FallNative code generation (1) Native code generation

    Add to Reading List

    Source URL: www.sable.mcgill.ca

    Language: English - Date: 2007-11-03 22:45:28
    45Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

    Optimizing R VM: Allocation Removal and Path Length Reduction via Interpreter-level Specialization Haichuan Wang1, Peng Wu2, David Padua1 1 University of Illinois at Urbana-Champaign

    Add to Reading List

    Source URL: cgo.org

    Language: English - Date: 2014-02-24 13:06:24
    46Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

    Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

    Add to Reading List

    Source URL: verify.rwth-aachen.de

    Language: English - Date: 2015-04-16 09:49:59
      47Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

      Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

      Add to Reading List

      Source URL: verify.rwth-aachen.de

      Language: English - Date: 2015-04-16 09:49:59
        48Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode M. Brockschmidt, T. Str¨ oder, C. Otto, J. Giesl LuFG Informatik 2, RWTH Aachen University, Germany

        Add to Reading List

        Source URL: verify.rwth-aachen.de

        Language: English - Date: 2015-04-16 09:49:59
          49Memory and Time Consumption of Java Bytecode Programs Laurent Hubert February 2006 1

          Memory and Time Consumption of Java Bytecode Programs Laurent Hubert February 2006 1

          Add to Reading List

          Source URL: www.trebuh.net

          Language: English - Date: 2016-01-16 09:07:20
            50Dynamic Compilation with Truffle Thomas Wuerthinger @thomaswue Oracle Labs

            Dynamic Compilation with Truffle Thomas Wuerthinger @thomaswue Oracle Labs

            Add to Reading List

            Source URL: vjovanov.github.io

            Language: English - Date: 2016-01-20 12:01:38