Interpretation

Results: 14654



#Item
241

The Art of Interpretation for Domain-Specific Embedded Languages Saswat Anand1 , Siau-Cheng Khoo2 , Dana N. Xu2 , and Ping Zhu2 1 2

Add to Reading List

Source URL: pauillac.inria.fr

- Date: 2009-07-23 08:08:20
    242

    Interpretation of Locales in Isabelle: Theories and Proof Contexts Clemens Ballarin Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchenGarching, Germany

    Add to Reading List

    Source URL: isabelle.in.tum.de

    - Date: 2006-05-15 04:20:54
      243

      chapter xXIII descriptions standard 23.1 strict interpretation of unambiguous description

      Add to Reading List

      Source URL: higherlogicdownload.s3.amazonaws.com

      - Date: 2015-07-10 11:33:39
        244

        Cooperative Query Answering by Abstract Interpretation Raju Halder and Agostino Cortesi Dipartimento di Informatica Universit` a Ca’ Foscari Venezia, Italy

        Add to Reading List

        Source URL: www.dsi.unive.it

        - Date: 2011-02-07 10:19:32
          245

          Synchronisation of userland source code amongst the BSD’s Userland: Diverged and Gone Wild! UNIX course - holly war 101: interpretation of intention & implementation without documentation.

          Add to Reading List

          Source URL: 2016.eurobsdcon.org

          - Date: 2016-10-23 04:04:23
            246

            Terms and conditions for Continuing Professional Education Pty Ltd 1. Interpretation 1.1. In this document the following words shall have the following meanings: 1.1.1. “CPE” represents both Continuing Professional E

            Add to Reading List

            Source URL: www.cpeconferences.com

            - Date: 2016-07-02 21:24:13
              247

              AX-SCHANUEL AND O-MINIMALITY JACOB TSIMERMAN 1. Interpreting Ax-Schanuel Geometrically The goal of this note is to give a geometric interpretation of the AxSchanuel theorem, and to give a model-theoretical proof of it. T

              Add to Reading List

              Source URL: www.math.harvard.edu

              - Date: 2014-03-30 04:56:02
                248

                Dynamic compilation © 2015 Oracle, Mario Wolczko Beyond interpretation •

                Add to Reading List

                Source URL: dl.dropboxusercontent.com

                  249

                  세계태권도연맹 경기규칙 및 해설 WORLD TAEKWONDO FEDERATION COMPETITION RULES & INTERPRETATION In force as of May 11, 2015

                  Add to Reading List

                  Source URL: www.bang.com.br

                  - Date: 2016-03-27 18:25:05
                    250

                    A Deep Interpretation of Classifier Chains Jesse Read and Jaakko Holm´en http://users.ics.aalto.fi/{jesse,jhollmen}/ Aalto University School of Science, Department of Information and Computer Science and Helsinki Instit

                    Add to Reading List

                    Source URL: users.ics.aalto.fi

                    - Date: 2014-10-31 03:30:21
                      UPDATE