Compilers

Results: 1282



#Item
41CriTcl - Beyond Stubs and Compilers Steve Landers Digital Smarties Jean-Claude Wippler

CriTcl - Beyond Stubs and Compilers Steve Landers Digital Smarties Jean-Claude Wippler

Add to Reading List

Source URL: www.digitalsmarties.com

- Date: 2002-08-30 19:37:42
    42Program Analysis Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pa16.html Formalities • Prerequisites: Compilers or Programming

    Program Analysis Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pa16.html Formalities • Prerequisites: Compilers or Programming

    Add to Reading List

    Source URL: www.cs.tau.ac.il

    - Date: 2015-10-25 08:07:42
      43Metamorphic Testing for (Graphics) Compilers [Short Paper] Alastair F. Donaldson Andrei Lascu

      Metamorphic Testing for (Graphics) Compilers [Short Paper] Alastair F. Donaldson Andrei Lascu

      Add to Reading List

      Source URL: www.doc.ic.ac.uk

      - Date: 2016-02-29 09:17:39
        44A Formal Foundation for Trace-based JIT Compilers Maarten Vandercammen* Jens Nicolay* Stefan Marr† Theo D’Hondt* Coen De Roover*

        A Formal Foundation for Trace-based JIT Compilers Maarten Vandercammen* Jens Nicolay* Stefan Marr† Theo D’Hondt* Coen De Roover*

        Add to Reading List

        Source URL: soft.vub.ac.be

        - Date: 2015-09-14 08:39:36
          45An Empiri al Study of Retargetable Compilers Dmitry Boulyt hev and Dmitry Lomov fdb,dslgtepkom.ru St.-Petersburg State University, Fa ulty of Mathemati s and Me hani s Department of System Programming

          An Empiri al Study of Retargetable Compilers Dmitry Boulyt hev and Dmitry Lomov fdb,dslgtepkom.ru St.-Petersburg State University, Fa ulty of Mathemati s and Me hani s Department of System Programming

          Add to Reading List

          Source URL: oops.math.spbu.ru

          - Date: 2015-07-26 07:28:07
            46CSc 453 Compilers and Systems Software Basic Blocks and Flow Graphs 15 : Intermediate Code III

            CSc 453 Compilers and Systems Software Basic Blocks and Flow Graphs 15 : Intermediate Code III

            Add to Reading List

            Source URL: www.cs.arizona.edu

            - Date: 2009-10-19 11:34:16
              47SECOMP Efficient Formally Secure Compilers to a Tagged Architecture

              SECOMP Efficient Formally Secure Compilers to a Tagged Architecture

              Add to Reading List

              Source URL: prosecco.gforge.inria.fr

              - Date: 2016-09-03 02:50:55
                48Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

                Efficient Formally Secure Compilers to a Tagged Architecture Cătălin Hrițcu Inria Paris Computers are insecure

                Add to Reading List

                Source URL: prosecco.gforge.inria.fr

                - Date: 2016-08-28 07:29:48
                  49Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

                  Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di

                  Add to Reading List

                  Source URL: cliplab.org

                  - Date: 2011-08-06 12:15:35