Semantics

Results: 7371



#Item
231

The Sequential Semantics of Producer Effect Systems Ross Tate Cornell University Abstract

Add to Reading List

Source URL: www.cs.cornell.edu

- Date: 2012-11-01 18:38:12
    232

    Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati

    Add to Reading List

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

    - Date: 2013-04-16 10:29:34
      233

      A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules Harold Boley Institute for Information Technology National Research Council of Canada

      Add to Reading List

      Source URL: www.cs.unb.ca

      - Date: 2011-05-25 09:39:35
        234

        On Interaction, Continuations and Defunctionalization? Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Germany Abstract. In game semantics and related approaches to programming lang

        Add to Reading List

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

        - Date: 2013-12-29 05:47:05
          235

          Equational Reasoning about Programs with General Recursion and Call-by-value Semantics Garrin Kimmell Aaron Stump

          Add to Reading List

          Source URL: www.tyconmismatch.com

          - Date: 2015-05-18 17:52:51
            236

            Categorical Semantics for Linear Logic Wolfgang Jeltsch

            Add to Reading List

            Source URL: cs.ioc.ee

            - Date: 2013-06-19 18:27:52
              237

              Progress in Informatics NoEquational Reasoning about Programs with General Recursion and Call-by-value Semantics

              Add to Reading List

              Source URL: www.tyconmismatch.com

              - Date: 2015-05-18 17:52:54
                238

                PLACESA Symbolic Semantics for a Calculus for Service-Oriented Computing 1 Rosario Pugliese2

                Add to Reading List

                Source URL: rap.dsi.unifi.it

                - Date: 2008-10-14 10:59:30
                  239

                  The Integrated PSOA RuleML for Interoperating SQL Relations and SPARQL Graphs Harold Boley, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSS 2015

                  Add to Reading List

                  Source URL: www.cs.unb.ca

                  - Date: 2015-12-08 22:25:52
                    240

                    Shaping Process Semantics Silviu S. Cr˜aciuna¸s Christoph M. Kirsch Technical Report

                    Add to Reading List

                    Source URL: www.cs.uni-salzburg.at

                      UPDATE