Formal languages

Results: 2429



#Item
1

National School SIDRA 2017: Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications Lecture L4: Regular languages?

Add to Reading List

Source URL: muwo1.unibo.it

Language: English - Date: 2017-07-07 10:14:12
    2

    CSCI 3130: Formal Languages and Automata Theory The Chinese University of Hong Kong, Fall 2010 Lecture 15 Andrej Bogdanov

    Add to Reading List

    Source URL: www.cse.cuhk.edu.hk

    Language: English - Date: 2010-10-28 01:47:14
      3

      Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtrackingāˆ— Roman R. Redziejowski Abstract Two recent developments in the field of formal languages are Parsing Expression Grammar (PEG)

      Add to Reading List

      Source URL: www.romanredz.se

      Language: English - Date: 2010-10-11 14:48:53
        4

        Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

        Add to Reading List

        Source URL: refal.botik.ru

        - Date: 2018-03-19 17:25:59
          5

          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
            6

            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
              7

              Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl17.html

              Add to Reading List

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

              - Date: 2016-11-05 05:18:22
                8

                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: 2015-03-22 12:39:32
                  9

                  Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl16.html Benefits of formal definitions

                  Add to Reading List

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

                  - Date: 2016-02-28 09:04:04
                    10

                    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
                      UPDATE