Bytecode

Results: 279



#Item
81Type-Separation as a Method for Efficient Bytecode Verification Philipp Adler and Wolfram Amme Friedrich-Schiller-Universit¨ at Jena, Ernst-Abbe-Platz 1-4, 07743 Jena, Germany, {phadler,amme}@informatik.uni-jena.de

Type-Separation as a Method for Efficient Bytecode Verification Philipp Adler and Wolfram Amme Friedrich-Schiller-Universit¨ at Jena, Ernst-Abbe-Platz 1-4, 07743 Jena, Germany, {phadler,amme}@informatik.uni-jena.de

Add to Reading List

Source URL: swt.informatik.uni-jena.de

Language: English - Date: 2014-08-22 05:00:39
    82Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fausto Spoto1 Dipartimento di Informatica Universit` a di Verona

    Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fausto Spoto1 Dipartimento di Informatica Universit` a di Verona

    Add to Reading List

    Source URL: www.secs.oakland.edu

    Language: English - Date: 2014-02-06 10:55:05
      83Efficient Bytecode Verification for Constrained Devices Philipp Adler and Wolfram Amme Friedrich-Schiller-University Jena Institute for Computer Sciences Ernst-Abbe-PlatzJena, Germany

      Efficient Bytecode Verification for Constrained Devices Philipp Adler and Wolfram Amme Friedrich-Schiller-University Jena Institute for Computer Sciences Ernst-Abbe-PlatzJena, Germany

      Add to Reading List

      Source URL: swt.informatik.uni-jena.de

      Language: English - Date: 2014-08-22 05:00:39
        84

        PDF Document

        Add to Reading List

        Source URL: homepages.ecs.vuw.ac.nz

        Language: English - Date: 2008-01-08 15:50:27
        85Java Bytecode Verification for @NonNull Types Chris Male, David J. Pearce, Alex Potanin and Constantine Dymnikov Victoria University of Wellington, NZ, {malechri,djp,alex,dymnikkost}@mcs.vuw.ac.nz Abstract. Java’s anno

        Java Bytecode Verification for @NonNull Types Chris Male, David J. Pearce, Alex Potanin and Constantine Dymnikov Victoria University of Wellington, NZ, {malechri,djp,alex,dymnikkost}@mcs.vuw.ac.nz Abstract. Java’s anno

        Add to Reading List

        Source URL: homepages.ecs.vuw.ac.nz

        Language: English - Date: 2008-01-06 16:48:10
          86PICOBIT: A Compact Scheme System for Microcontrollers

          PICOBIT: A Compact Scheme System for Microcontrollers

          Add to Reading List

          Source URL: www.ccs.neu.edu

          Language: English - Date: 2015-06-29 15:00:00
          87Delft University of Technology Software Engineering Research Group Technical Report Series Mixing Source and Bytecode – A Case for Compilation by Normalization

          Delft University of Technology Software Engineering Research Group Technical Report Series Mixing Source and Bytecode – A Case for Compilation by Normalization

          Add to Reading List

          Source URL: swerl.tudelft.nl

          Language: English - Date: 2008-08-04 18:19:30
          88Cost Analysis of Java Bytecode E. Albert1 , P. Arenas1 , S. Genaim2 , G. Puebla2 , and D. Zanardini2 1 2

          Cost Analysis of Java Bytecode E. Albert1 , P. Arenas1 , S. Genaim2 , G. Puebla2 , and D. Zanardini2 1 2

          Add to Reading List

          Source URL: clip.dia.fi.upm.es

          Language: English - Date: 2007-01-19 10:03:17
            89c ACM, published in TOPLAS volume 22(3), MayPreprint of final version. Java Bytecode Compression for Low-End Embedded Systems

            c ACM, published in TOPLAS volume 22(3), MayPreprint of final version. Java Bytecode Compression for Low-End Embedded Systems

            Add to Reading List

            Source URL: websrv0a.sdu.dk

            Language: English - Date: 2006-01-04 09:00:49
              90Heap Space Analysis for Java Bytecode Elvira Albert Samir Genaim Miguel G´omez-Zamalloa

              Heap Space Analysis for Java Bytecode Elvira Albert Samir Genaim Miguel G´omez-Zamalloa

              Add to Reading List

              Source URL: clip.dia.fi.upm.es

              Language: English - Date: 2007-10-10 06:38:08