Declarative

Results: 769



#Item
31

A Theorem Proving Approach Towards Declarative Networking Anduo Wang1 Boon Thau Loo1 Changbin Liu1 Oleg Sokolsky1 Prithwish Basu2 1

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2009-07-05 21:33:29
    32

    Compiling Declarative Specifications of Parsing Algorithms? Carlos G´ omez-Rodr´ıguez, Jes´ us Vilares, and Miguel A. Alonso Departamento de Computaci´

    Add to Reading List

    Source URL: coleweb.dc.fi.udc.es

    - Date: 2007-05-22 04:17:14
      33

      Automatic Generation of Natural Language Parsers from Declarative Specifications1 Carlos Gómez-Rodríguez a , Jesús Vilares b and Miguel A. Alonso b a

      Add to Reading List

      Source URL: coleweb.dc.fi.udc.es

      - Date: 2006-05-19 11:49:20
        34

        Customizable Routing with Declarative Queries Boon Thau Loo∗ Joseph M. Hellerstein∗† ABSTRACT

        Add to Reading List

        Source URL: db.cs.berkeley.edu

        - Date: 2004-11-02 18:00:22
          35

          A CSS Integration Model for Declarative 3D Jan Sutter∗ DFKI Saarland University Kristian Sons†

          Add to Reading List

          Source URL: graphics.cg.uni-saarland.de

          - Date: 2016-04-24 20:31:18
            36

            Declarative Network Verification Prithwish Basu2 Anduo Wang1 Boon Thau Loo1 1 University

            Add to Reading List

            Source URL: www.cis.upenn.edu

            - Date: 2009-01-19 13:32:35
              37

              LBTrust: Declarative Reconfigurable Trust Management Bill Marczak*, Dave Zook†, Wenchao Zhou*, Molham Aref†, Boon Thau Loo* *University of Pennsylvania † LogicBlox

              Add to Reading List

              Source URL: www.cis.upenn.edu

              - Date: 2009-01-06 20:05:13
                38

                Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2010-07-26 23:06:18
                  39

                  Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

                  Add to Reading List

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

                  - Date: 2014-03-10 07:32:15
                    40

                    Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch

                    Add to Reading List

                    Source URL: www.ioc.ee

                    - Date: 2012-04-24 14:50:38
                      UPDATE