Semantics

Results: 7371



#Item
271

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

Add to Reading List

Source URL: www.ioc.ee

- Date: 2014-09-30 10:08:33
    272

    Assignment 1 Review: Comparison Operators Current Semantics: 1 < 3 returns 0 1 > 3 returns Null Distinguished True Type: 1 < 3 returns True

    Add to Reading List

    Source URL: dl.dropboxusercontent.com

      273

      Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

      Add to Reading List

      Source URL: cs.ioc.ee

      - Date: 2014-05-20 06:57:42
        274

        On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy Logi

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        - Date: 2015-10-15 03:09:54
          275

          An Attempt Towards Learning Semantics: Distributional Learning of IO Context-Free Tree Grammars Ryo Yoshinaka Kyoto University, Japan

          Add to Reading List

          Source URL: alpage.inria.fr

          - Date: 2012-09-22 03:48:34
            276

            Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference:

            Add to Reading List

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

            - Date: 2015-04-19 13:50:48
              277

              Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

              Add to Reading List

              Source URL: cs.bath.ac.uk

              - Date: 2012-01-04 16:05:10
                278

                Collected Size Semantics for Functional Programs ? O. Shkaravska, M. van Eekelen, A. Tamalet Institute for Computing and Information Sciences Radboud University Nijmegen

                Add to Reading List

                Source URL: cs.ru.nl

                - Date: 2015-04-11 11:03:51
                  279

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

                  Add to Reading List

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

                  - Date: 2015-04-01 08:57:42
                    280

                    Formal Semantics & Verification for the Border Gateway Protocol Konstantin Weitz Doug Woos

                    Add to Reading List

                    Source URL: www.cs.washington.edu

                    - Date: 2016-08-17 13:59:37
                      UPDATE