Semantics

Results: 7371



#Item
281

An executable formal semantics of PHP? Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk Abstract. PHP is among the most used languages f

Add to Reading List

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

- Date: 2014-05-13 05:10:37
    282

    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-11-15 08:30:18
      283

      J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER

      Add to Reading List

      Source URL: www.cs.uoregon.edu

      - Date: 2010-06-25 18:00:46
        284

        ‫הסדרים השונים ב ‪λ-calculus‬‬ ‫את כל הסדרים השונים ניתן לתאר כ ‪ Operational Semantics‬על בסיס הכללים הבאים‪:‬‬ ‫כל סדר מוגדר ע"י

        Add to Reading List

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

        - Date: 2016-12-07 03:30:50
          285

          ISSNSIS - Semantics Implementation System

          Add to Reading List

          Source URL: www.cs.swan.ac.uk

          - Date: 2016-10-13 16:25:27
            286

            Formal Syntax and 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-26 08:22:59
              287

              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: 2014-03-24 02:48:08
                288

                DELIVERABLE 5.2 BASIC TOOLS FOR DIGITAL ECOSYSTEM MANAGEMENT PERICLES - Promoting and Enhancing Reuse of Information throughout the Content Lifecycle taking account of Evolving Semantics

                Add to Reading List

                Source URL: pericles-project.eu

                - Date: 2015-11-06 09:10:58
                  289

                  Formal Syntax and 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-04-12 10:45:56
                    290

                    Abstract Categorical Semantics for Functional Reactive Programming with Resources Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

                    Add to Reading List

                    Source URL: www.ioc.ee

                    - Date: 2014-10-03 09:56:39
                      UPDATE