default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 2011: Odense, Denmark
- Peter Schneider-Kamp, Michael Hanus:
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. ACM 2011, ISBN 978-1-4503-0776-5
Invited talks
- Vitaly Lagoon:
The challenges of constraint-based test generation. 1-2 - Andrey Rybalchenko:
Towards automatic synthesis of software verification tools. 3-4
Verification and specification
- Felix Schernhammer, José Meseguer:
Incremental checking of well-founded recursive specifications modulo axioms. 5-16 - Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
:
Graph-transformation verification using monadic second-order logic. 17-28
Declarative languages
- Georg Sauthoff, Stefan Janssen, Robert Giegerich:
Bellman's GAP: a declarative language for dynamic programming. 29-40 - Rafael del Vado Vírseda, Fernando Pérez Morente:
A modular semantics for higher-order declarative programming with constraints. 41-52
Analysis
- Jan Christiansen, Daniel Seidel:
Minimally strict polymorphic functions. 53-64 - Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. 65-76 - Tony Bourdier, Horatiu Cirstea:
Symbolic analysis of network security policies using rewrite systems. 77-88 - Dario Colazzo, Carlo Sartiani:
Precision and complexity of XQuery type inference. 89-100
Concurrency
- David Sabel, Manfred Schmidt-Schauß:
A contextual semantics for concurrent Haskell with futures. 101-112 - Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar:
Nitpicking C++ concurrency. 113-124
Logic programming and constraints
- Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. 125-136 - Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo:
CLP projection for constraint handling rules. 137-148
Types and Lambda calculus
- Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet:
Typing control operators in the CPS hierarchy. 149-160 - Bernardo Toninho, Luís Caires, Frank Pfenning:
Dependent session types via intuitionistic linear type theory. 161-172 - Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. 173-182 - Nicolas Guenot:
Nested proof search as reduction in the Lambda-calculus. 183-194
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 2025-01-09 19:40 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:
