Compiler

Results: 4119



#Item
41Compiler Mitigations for Time Attacks on Modern x86 Processors JEROEN VAN CLEEMPUT, BART COPPENS, and BJORN DE SUTTER, Ghent University This paper studies and evaluates the extent to which automated compiler techniques c

Compiler Mitigations for Time Attacks on Modern x86 Processors JEROEN VAN CLEEMPUT, BART COPPENS, and BJORN DE SUTTER, Ghent University This paper studies and evaluates the extent to which automated compiler techniques c

Add to Reading List

Source URL: users.elis.ugent.be

Language: English - Date: 2012-09-18 05:10:24
    42Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP,

    Formally verifying a compiler: what does it mean, exactly? Xavier Leroy INRIA Paris ICALP,

    Add to Reading List

    Source URL: xavierleroy.org

    Language: English - Date: 2018-08-01 14:49:25
      43Personal account: in search of the original Fortran compiler

      Personal account: in search of the original Fortran compiler

      Add to Reading List

      Source URL: www.mcjones.org

      Language: English - Date: 2017-07-13 23:35:01
        44Proceedings ICMC|SMC|September 2014, Athens, Greece Audio Rendering/Processing and Control Ubiquity ? a Solution Built Using the Faust Dynamic Compiler and JACK/NetJack

        Proceedings ICMC|SMC|September 2014, Athens, Greece Audio Rendering/Processing and Control Ubiquity ? a Solution Built Using the Faust Dynamic Compiler and JACK/NetJack

        Add to Reading List

        Source URL: feever.fr

        Language: English - Date: 2015-06-05 07:44:13
          45The VLISP Byte-Code Compiler J. D. Guttman J. D. Ramsdell

          The VLISP Byte-Code Compiler J. D. Guttman J. D. Ramsdell

          Add to Reading List

          Source URL: repository.readscheme.org

          Language: English - Date: 2010-10-22 08:04:41
            46SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract

            SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract

            Add to Reading List

            Source URL: www.elsman.com

            Language: English - Date: 2018-07-28 10:25:51
              47Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

              Lessons from the JML Project Gary T. Leavens and Curtis Clifton TR #05-12a April 2005, Revised JulyKeywords: verifying compiler, specification, verification, formal methods, formal interface specification, extensi

              Add to Reading List

              Source URL: curtclifton.net

              Language: English - Date: 2016-12-07 10:57:50
                48A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

                A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

                Add to Reading List

                Source URL: xavierleroy.org

                Language: English - Date: 2018-08-01 14:49:25
                  49GNU PROLOG A Native Prolog Compiler with Constraint Solving over Finite Domains Edition 1.44, for GNU Prolog versionJuly 14, 2018 by Daniel Diaz

                  GNU PROLOG A Native Prolog Compiler with Constraint Solving over Finite Domains Edition 1.44, for GNU Prolog versionJuly 14, 2018 by Daniel Diaz

                  Add to Reading List

                  Source URL: gprolog.univ-paris1.fr

                  Language: English - Date: 2018-07-14 10:38:17
                    50Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar & Jérôme Siméon IBM Research

                    Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar & Jérôme Siméon IBM Research

                    Add to Reading List

                    Source URL: hirzels.com

                    Language: English - Date: 2018-05-15 08:53:38