Syntax

Results: 6156



#Item
1Mathematical analysis / Mathematics / Distribution / Functional analysis / Markov chain

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2017-05-09 09:40:14
2Computer programming / Declarative programming / Software engineering / Exponentials / Dependently typed programming / Higher-order abstract syntax / Logic programming / Programming language theory / Type theory / Exponentiation / Monad / ?:

Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University

Add to Reading List

Source URL: adam.chlipala.net

Language: English - Date: 2016-01-02 15:47:17
3Software engineering / Computing / Computer programming / APL programming language family / Array programming languages / High-level programming languages / Source code / Parser generators / K / Syntax / Q / Pure

[DSLDI14] Composable and Hygienic Typed Syntax Macros (TSMs) Cyrus Omar Chenglong (Stanley) Wang

Add to Reading List

Source URL: chenglongwang.org

Language: English - Date: 2018-10-25 17:28:47
4

What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:14
    5

    What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

    Add to Reading List

    Source URL: isabelle.in.tum.de

    Language: English - Date: 2018-08-15 07:19:14
      6Semantic Web / Computing / Information science / World Wide Web Consortium / Knowledge engineering / Knowledge representation / Technical communication / Web Ontology Language / Ontology / Description logic / Resource Description Framework / RDF Schema

      Toward G-OWL: A graphical, polymorphic and typed syntax for building formal OWL2 ontologies Michel Héon Université du Québec à Montréal Montréal (Québec)

      Add to Reading List

      Source URL: gdac.uqam.ca

      Language: English - Date: 2017-10-04 00:39:05
      7

      What’s in Main Tobias Nipkow August 15, 2018 Abstract This document lists the main types, functions and syntax provided by theory Main. It is meant as a quick overview of what is available.

      Add to Reading List

      Source URL: mirror.clarkson.edu

      Language: English - Date: 2018-08-15 07:19:14
        8Theoretical computer science / Mathematics / Logic / Synthesis / Satisfiability modulo theories / Symbol / Expression

        The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama

        Add to Reading List

        Source URL: www.react.uni-saarland.de

        Language: English - Date: 2017-08-02 04:54:12
        9

        Proceedings of the 11th Space Syntax Symposium #78 CHARACTERIZING URBAN CENTRES Reading configuration as point, line, field

        Add to Reading List

        Source URL: www.11ssslisbon.pt

        Language: English - Date: 2017-09-10 09:35:17
          10

          Formale Systeme Aussagenlogik: Syntax und Semantik Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

          Add to Reading List

          Source URL: i12www.ira.uka.de

          Language: German - Date: 2012-10-19 09:20:24
            UPDATE