Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016
    URL: http://doi.acm.org/10.1145/2967973
    DBLP: db/conf/ppdp/ppdp2016.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 19  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Thomas Ehrhard, Giulio Guerrieri.
    The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois.
    Analysis of access control policy updates through narrowing.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago.
    Strand spaces with choice via a process algebra semantics.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini.
    Exploration of language specifications by compilation to first-order logic.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea.
    Actors may synchronize, safely!
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo.
    Reducing the overhead of assertion run-time checks via static analysis.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis.
    Higher-order logic programming: an expressive language for representing qualitative preferences.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Frédéric Mesnard, Étienne Payet, Wim Vanhoof.
    Towards a framework for algorithm recognition in binary code.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri.
    A framework for easing the development of applications embedding answer set programming.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Conference paper
    Manfred Schmidt-Schauß, David Sabel.
    Unification of program expressions with recursive bindings.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Show item 1 to 10 of 19  

    Your query returned 19 matches in the database.