Semantics of programming languages

Results: 156



#Item
1Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    2PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science OPERATIONAL SEMANTICS! PROGRAM ANALYSIS

    PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science OPERATIONAL SEMANTICS! PROGRAM ANALYSIS

    Add to Reading List

    Source URL: homepages.dcc.ufmg.br

    Language: English - Date: 2017-05-15 15:58:01
      3DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:

      DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:

      Add to Reading List

      Source URL: www.csc.kth.se

      Language: English
        4P Lecture Notes on Semantics of Programming Languages for Part IB of the Computer Science Tripos

        P Lecture Notes on Semantics of Programming Languages for Part IB of the Computer Science Tripos

        Add to Reading List

        Source URL: www.inf.ed.ac.uk

        Language: English - Date: 2009-01-06 12:30:42
          5An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

          An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

          Add to Reading List

          Source URL: danehuang.github.io

          Language: English - Date: 2017-05-24 19:52:40
            6Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

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

            - Date: 2015-03-22 12:39:32
              7Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

              Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

              Add to Reading List

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

              - Date: 2016-03-17 14:06:02
                8Programming Interactivity Requires Both Semantics and Semiotics Joseph C. Osborn, Michael Mateas University of California, Santa Cruz Introduction. Programming languages are generally designed around models of computatio

                Programming Interactivity Requires Both Semantics and Semiotics Joseph C. Osborn, Michael Mateas University of California, Santa Cruz Introduction. Programming languages are generally designed around models of computatio

                Add to Reading List

                Source URL: conf.researchr.org

                  9Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                  Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                  Add to Reading List

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

                  - Date: 2016-11-12 00:09:04
                    10Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

                    Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

                    Add to Reading List

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

                    - Date: 2016-03-22 14:28:09