default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2015: Siena, Italy
- Moreno Falaschi, Elvira Albert:
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM 2015, ISBN 978-1-4503-3516-4 - Patrick Cousot:
Verification by abstract interpretation, soundness and abstract induction. 1-4 - Martin Hofmann:
Automatic amortized analysis. 5 - Louis Mandel, Cédric Pasteur, Marc Pouzet:
ReactiveML, ten years later. 6-17 - Dale Miller:
Proof checking and logic programming. 18 - Abeer S. Al-Humaimeedy, Maribel Fernández:
Enhancing the specification and verification techniques of multiparty sessions in SOC. 19-30 - Roman Barták
, Agostino Dovier, Neng-Fa Zhou:
On modeling planning problems in tabled logic programming. 31-42 - Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson:
Computation in focused intuitionistic logic. 43-54 - Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Debugging of wrong and missing answers for datalog programs with constraint handling rules. 55-66 - Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez:
Declarative interpretations of session-based concurrency. 67-78 - Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo:
Automated verification of safety properties of declarative networking programs. 79-90 - Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Semantics-based generation of verification conditions by program specialization. 91-102 - Thom W. Frühwirth:
A devil's advocate against termination of direct recursion. 103-113 - Daniel Gall, Thom W. Frühwirth:
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. 114-124 - Abel Garcia, Cosimo Laneve, Michael Lienhardt:
Static analysis of cloud elasticity. 125-136 - Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas:
Concolic testing for functional languages. 137-148 - Johan Grande, Gérard Boudol, Manuel Serrano:
Jthread, a deadlock-free mutex library. 149-160 - Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia:
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. 161-172 - Thierry Martinez, François Fages, Sylvain Soliman:
Search by constraint propagation. 173-183 - Christopher Meiklejohn, Peter Van Roy:
Lasp: a language for distributed, coordination-free programming. 184-195 - Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers:
From monoids to near-semirings: the essence of MonadPlus and alternative. 196-207 - Panos Rondogiannis, Antonis Troumpoukis:
Expressing preferences in logic programming using an infinite-valued logic. 208-219 - Manfred Schmidt-Schauß, David Sabel:
Improvements in a functional core language with call-by-need operational semantics. 220-231 - Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Detecting concurrency bugs in higher-order programs through abstract interpretation. 232-243 - Paul Tarau:
On a uniform representation of combinators, arithmetic, lambda terms and types. 244-255
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 2026-04-23 22:39 CEST 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:
