Semantics

Results: 7371



#Item
111

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille)

Add to Reading List

Source URL: laure.gonnord.org

Language: English
    112

    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
      113

      Syntax and Semantics in Minimalist Grammars Gregory M. Kobele ESSLLI ’09 This chapter presents a grammar for a fragment of English A-movement.1 The constructions accounted for include raising, passivization, and contro

      Add to Reading List

      Source URL: esslli2009.labri.fr

      Language: English - Date: 2010-10-12 04:42:15
        114

        From Hegelian to Nietzschean Semantics: Power, Conflict, and Contestation in Language Robert Brandom’s recently influential inferential semanticsis not only an attempt to develop ideas of Wittgenstein and Sella

        Add to Reading List

        Source URL: itservices.newn.cam.ac.uk

        Language: English - Date: 2015-09-11 06:53:33
          115

          An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009

          Add to Reading List

          Source URL: www.dhgarrette.com

          Language: English - Date: 2018-08-10 17:39:37
            116

            Review: [untitled] Author(s): Ruth M. Kempson Reviewed work(s): Studies in Linguistic Semantics by C. J. Fillmore; D. T. Langendoen Source: Journal of Linguistics, Vol. 9, No. 1 (Feb., 1973), ppPublished by: Ca

            Add to Reading List

            Source URL: dingo.sbs.arizona.edu

            Language: English - Date: 2009-05-13 15:57:05
              117

              The Definitional View of Atomic Systems in Proof-Theoretic Semantics T HOMAS P IECHA AND P ETER S CHROEDER -H EISTER1 Abstract: Atomic systems, that is, sets of rules containing only atomic formulas, play an important ro

              Add to Reading List

              Source URL: ls.informatik.uni-tuebingen.de

              Language: English - Date: 2017-07-20 08:15:34
                118

                Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

                Add to Reading List

                Source URL: www.shudo.net

                Language: English - Date: 2003-06-09 05:29:35
                  119

                  Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  Language: English - Date: 2018-08-13 11:55:33
                    UPDATE