Languages

Results: 66134



#Item
441

First Workshop On the Globalization of Modeling Languages (GEMOC 2013) ? Benoit Combemale1 and Julien De Antoni2 and Robert B. France3 and Frédéric Boulanger4 and Sébastien Mosser5 and Marc Pantel6 and Bernhard Rumpe7

Add to Reading List

Source URL: ceur-ws.org

- Date: 2013-11-28 16:09:13
    442

    Lingolía simply better at languages www.lingolia.com Calendar

    Add to Reading List

    Source URL: dl.lingolia.net

    - Date: 2011-12-05 05:48:37
      443

      A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

      Add to Reading List

      Source URL: cybersec-prod.s3.amazonaws.com

      - Date: 2016-10-05 17:20:39
        444

        Formally Specifying and Analyzing a Parallel Virtual Machine for Lazy Functional Languages Using Maude Georgios Fourtounis1,2 2 ¨

        Add to Reading List

        Source URL: www.softlab.ntua.gr

        - Date: 2011-09-18 05:48:24
          445

          2014_04_30-AoL_H-B-DA-C_logo_4c-pf

          Add to Reading List

          Source URL: www.fuu-heidelberg-languages.com

          - Date: 2016-11-07 09:13:20
            446

            Implementing Non-Strict Functional Languages with the Generalized Intensional Transformation Georgios Fourtounis National Technical University of Athens

            Add to Reading List

            Source URL: www.softlab.ntua.gr

            - Date: 2014-07-03 06:52:49
              447

              PDF Document

              Add to Reading List

              Source URL: all-languages.org.uk

                448

                EDA221 – Introduction to Computer Graphics, 2016 Assignment 3 – Shaders I This assignment introduces one of the major shading languages; GLSL, as well as applications for some common shading techniques such as Phong

                Add to Reading List

                Source URL: fileadmin.cs.lth.se

                - Date: 2016-09-19 08:47:54
                  449

                  Analysing normative contracts On the semantic gap between natural and formal languages John J. Camilleri Licentiate seminar

                  Add to Reading List

                  Source URL: academic.johnjcamilleri.com

                  - Date: 2016-03-30 08:43:23
                    450

                    Journal of Machine Learning Research1129 Submitted 3/08; Revised 11/08; Published 5/09 Universal Kernel-Based Learning with Applications to Regular Languages

                    Add to Reading List

                    Source URL: www.jmlr.org

                    - Date: 2009-12-14 18:57:50
                      UPDATE