Declarative

Results: 769



#Item
51

Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

Add to Reading List

Source URL: dbai.tuwien.ac.at

- Date: 2013-06-20 14:18:41
    52

    Data-Flow Testing of Declarative Programs Sebastian Fischer ∗ Herbert Kuchen Department of Computing Science

    Add to Reading List

    Source URL: www-ps.informatik.uni-kiel.de

    - Date: 2014-06-15 10:44:12
      53

      Declarative, Secure, Convergent Edge Computation Christopher Meiklejohn Abstract

      Add to Reading List

      Source URL: conf.researchr.org

        54

        Automated Verification of Safety Properties of Declarative Networking Programs Chen Chen Lay Kuan Loh

        Add to Reading List

        Source URL: www.andrew.cmu.edu

        - Date: 2016-01-24 20:37:43
          55

          Towards Declarative Scripting Combining CP and Analytics CP 2015 Panel on CP and Analytics Hassan A¨ıt-Kaci

          Add to Reading List

          Source URL: www.gdria.fr

          - Date: 2016-06-29 05:03:32
            56

            WWW 2012 – Session: Data and Content Management 1 April 16–20, 2012, Lyon, France Declarative Platform for Data Sourcing Games Daniel Deutch

            Add to Reading List

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

            - Date: 2012-08-23 10:26:12
              57

              Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

              Add to Reading List

              Source URL: www.user.tu-berlin.de

              - Date: 2016-08-25 10:52:45
                58

                PROPUB: Towards a Declarative Approach for Publishing Customized, Policy-Aware Provenance Saumen Dey Daniel Zinn Bertram Ludäscher 20th July 2011

                Add to Reading List

                Source URL: ssdbm2011.ssdbm.org

                - Date: 2011-09-01 19:00:37
                  59

                  Towards Fast and Declarative Meta-programming Antony F. Bowers and Corin A. Gurr January 1995 Abstract Meta-programming, the ability to manipulate programs as data, is fundamental to the success of declarative languages.

                  Add to Reading List

                  Source URL: repository.readscheme.org

                  - Date: 2010-10-22 08:05:10
                    60

                    Declarative Programming and (Co)Induction Duration: 20 hours Teachers: Davide Ancona – DIBRIS, University of Genova - Elena Zucca - DIBRIS, University of Genova - When: April

                    Add to Reading List

                    Source URL: phd.dibris.unige.it

                    - Date: 2016-01-15 11:17:54
                      UPDATE