default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 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
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.
last updated on 2024-11-11 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
