![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
PPDP 2016: Edinburgh, UK
- 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 - Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
:
Testing of concurrent and imperative software using CLP. 1-8 - Greg Morrisett:
Challenges in compiling Coq. 9 - Joaquín Arias
, Manuel Carro
:
Description and evaluation of a generic design to integrate CLP and tabled execution. 10-23 - Angelos Charalambidis
, Panos Rondogiannis, Antonis Troumpoukis
:
Higher-order logic programming: an expressive language for representing qualitative preferences. 24-37 - 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 - Takahiro Nagao, Naoki Nishida:
Proving inductive validity of constrained inequalities. 50-61 - Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois:
Analysis of access control policy updates through narrowing. 62-75 - Fan Yang, Santiago Escobar
, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. 76-89 - Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo:
Reducing the overhead of assertion run-time checks via static analysis. 90-103 - Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. 104-117 - Elena Giachino
, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea:
Actors may synchronize, safely! 118-131 - Jan Midtgaard
, Flemming Nielson
, Hanne Riis Nielson
:
Iterated process analysis over lattice-valued regular expressions. 132-145 - Dimitrios Kouzapas, Ornela Dardha
, Roly Perera, Simon J. Gay:
Typechecking protocols with Mungo and StMungo. 146-159 - Manfred Schmidt-Schauß, David Sabel
:
Unification of program expressions with recursive bindings. 160-173 - Thomas Ehrhard, Giulio Guerrieri
:
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. 174-187 - Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. 188-201 - Frédéric Mesnard, Étienne Payet, Wim Vanhoof:
Towards a framework for algorithm recognition in binary code. 202-213 - Stefan Fehrenbach, James Cheney
:
Language-integrated provenance. 214-227 - Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin:
Demand-driven incremental object queries. 228-241
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.