Semantics

Results: 7371



#Item
261

Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2011-07-08 05:07:15
    262

    ‫הסדרים‪ ‬השונים‪ ‬ב‪ λ­calculus ‬‬ ‫את‪ ‬כל‪ ‬הסדרים‪ ‬השונים‪ ‬ניתן‪ ‬לתאר‪ ‬כ‪ Operational Semantics ‬על‪ ‬בס

    Add to Reading List

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

    - Date: 2016-04-05 07:31:12
      263

      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
        264

        PERICLES - Promoting and Enhancing Reuse of Information throughout the Content Lifecycle taking account of Evolving Semantics [Digital Preservation] DELIVERABLE 3.2

        Add to Reading List

        Source URL: pericles-project.eu

        - Date: 2016-01-29 05:50:19
          265

          The Function Passing Model: Types, Proofs, and Semantics Philipp Haller, Normen M¨ uller, Heather Miller May 2016

          Add to Reading List

          Source URL: infoscience.epfl.ch

          - Date: 2016-09-18 20:26:49
            266

            The PSOATransRun 1.0 System for Object-Relational Reasoning in RuleML Gen Zou, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSSFaculty of

            Add to Reading List

            Source URL: ruleml.org

            - Date: 2016-03-16 14:10:05
              267

              Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

              Add to Reading List

              Source URL: formal.iti.kit.edu

              - Date: 2014-03-13 08:30:05
                268

                A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us

                Add to Reading List

                Source URL: www.lix.polytechnique.fr

                - Date: 2013-11-07 01:57:36
                  269

                  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
                    270

                    Call-by-Value in a Basic Logic for Interaction Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen Abstract. In game semantics and related approaches to programming language semantics, programs are modelled by int

                    Add to Reading List

                    Source URL: www2.tcs.ifi.lmu.de

                    - Date: 2014-09-02 06:12:08
                      UPDATE