Bytecode

Results: 279



#Item
61ByteCodeBytecode 2010 5th workshop on Bytecode Semantics, Verification, Analysis and Transformation

ByteCodeBytecode 2010 5th workshop on Bytecode Semantics, Verification, Analysis and Transformation

Add to Reading List

Source URL: bytecode2010.inria.fr

Language: English - Date: 2010-03-01 12:59:57
    62A Non-Null Annotation Inferencer for Java Bytecode ∗ Laurent Hubert CNRS/IRISA

    A Non-Null Annotation Inferencer for Java Bytecode ∗ Laurent Hubert CNRS/IRISA

    Add to Reading List

    Source URL: www.trebuh.net

    Language: English - Date: 2016-01-16 09:07:20
      63Automated 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
        64Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

        Journal of Automated Reasoning 30: 271–321, 2003. © 2003 Kluwer Academic Publishers. Printed in the NetherlandsA Type System for the Java Bytecode Language

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2007-08-07 13:03:20
          65NIT: a non-null Annotation Inferencer for Java Bytecode L a u r e n t H u b e rt

          NIT: a non-null Annotation Inferencer for Java Bytecode L a u r e n t H u b e rt

          Add to Reading List

          Source URL: www.trebuh.net

          Language: English - Date: 2016-01-16 09:07:20
            66Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

            Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen 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
              67Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

              Automated Detection of Non-Termination and NullPointerExceptions for Java Bytecode? Marc Brockschmidt, Thomas Str¨oder, Carsten Otto, and J¨ urgen 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
                68volume two | issue three | march, 2009 in this issue : AJAX

                volume two | issue three | march, 2009 in this issue : AJAX

                Add to Reading List

                Source URL: blog.groovymag.com

                Language: English - Date: 2009-03-02 09:23:01
                69Application Specific Virtual Machines: Operating System Support for User-Level Sensornet Programming by Philip Alexander Levis B.S. (Brown University) 1999

                Application Specific Virtual Machines: Operating System Support for User-Level Sensornet Programming by Philip Alexander Levis B.S. (Brown University) 1999

                Add to Reading List

                Source URL: csl.stanford.edu

                Language: English - Date: 2005-11-15 18:42:55