default search action

combined dblp search
author search
venue search
publication search

ask others

PPDP 2016: Edinburgh, UK

> Home > Conferences and Workshops > PPDP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2016
James Cheney, Germán Vidal:
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016. ACM 2016, ISBN 978-1-4503-4148-6
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AlbertAG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AlbertAG16
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Testing of concurrent and imperative software using CLP. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Morrisett16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Morrisett16
Greg Morrisett:
Challenges in compiling Coq. 9
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AriasC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AriasC16
Joaquín Arias, Manuel Carro:
Description and evaluation of a generic design to integrate CLP and tabled execution. 10-23
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CharalambidisRT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CharalambidisRT16
Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis:
Higher-order logic programming: an expressive language for representing qualitative preferences. 24-37
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/FuscaGZACP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FuscaGZACP16
Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri:
A framework for easing the development of applications embedding answer set programming. 38-49
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/NagaoN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/NagaoN16
Takahiro Nagao, Naoki Nishida:
Proving inductive validity of constrained inequalities. 50-61
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BertolissiTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BertolissiTV16
Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois:
Analysis of access control policy updates through narrowing. 62-75
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/YangEMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/YangEMMS16
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. 76-89
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/StulovaMH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/StulovaMH16
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Reducing the overhead of assertion run-time checks via static analysis. 90-103
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GreweERM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GreweERM16
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. 104-117
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GiachinoHLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GiachinoHLM16
Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea:
Actors may synchronize, safely! 118-131
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/MidtgaardNN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/MidtgaardNN16
Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson:
Iterated process analysis over lattice-valued regular expressions. 132-145
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/KouzapasDPG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/KouzapasDPG16
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay:
Typechecking protocols with Mungo and StMungo. 146-159
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Schmidt-Schauss16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Schmidt-Schauss16
Manfred Schmidt-Schauß, David Sabel:
Unification of program expressions with recursive bindings. 160-173
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/EhrhardG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/EhrhardG16
Thomas Ehrhard, Giulio Guerrieri:
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. 174-187
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Benton0N16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Benton0N16
Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. 188-201
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/MesnardPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/MesnardPV16
Frédéric Mesnard, Étienne Payet, Wim Vanhoof:
Towards a framework for algorithm recognition in binary code. 202-213
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/FehrenbachC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FehrenbachC16
Stefan Fehrenbach, James Cheney:
Language-integrated provenance. 214-227
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LiuBSL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LiuBSL16
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin:
Demand-driven incremental object queries. 228-241

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.