Formal languages

Results: 2429



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

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
    2CSCI 3130: Formal Languages and Automata Theory The Chinese University of Hong Kong, Fall 2010 Lecture 15 Andrej Bogdanov

    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
      3Parsing 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)

      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
        4Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France

        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
          5A 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

          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
            6Analysing normative contracts On the semantic gap between natural and formal languages John J. Camilleri Licentiate seminar

            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
              7Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl17.html

              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
                8Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                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
                  9Formal Syntax of Programming Languages Mooly Sagiv http://www.cs.tau.ac.il/~msagiv/courses/pl16.html Benefits of formal definitions

                  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
                    10Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                    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