default search action

combined dblp search
author search
venue search
publication search

ask others

PPDP 2011: Odense, Denmark

> 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

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ppdp/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Lagoon11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Lagoon11
Vitaly Lagoon:
The challenges of constraint-based test generation. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Rybalchenko11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Rybalchenko11
Andrey Rybalchenko:
Towards automatic synthesis of software verification tools. 3-4

Verification and specification

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SchernhammerM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SchernhammerM11
Felix Schernhammer, José Meseguer:
Incremental checking of well-founded recursive specifications modulo axioms. 5-16
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/InabaHHKN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/InabaHHKN11
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Graph-transformation verification using monadic second-order logic. 17-28

Declarative languages

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SauthoffJG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SauthoffJG11
Georg Sauthoff, Stefan Janssen, Robert Giegerich:
Bellman's GAP: a declarative language for dynamic programming. 29-40
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/VirsedaM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/VirsedaM11
Rafael del Vado Vírseda, Fernando Pérez Morente:
A modular semantics for higher-order declarative programming with constraints. 41-52

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ChristiansenS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ChristiansenS11
Jan Christiansen, Daniel Seidel:
Minimally strict polymorphic functions. 53-64
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/EscobarKLMMNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/EscobarKLMMNS11
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
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BourdierC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BourdierC11
Tony Bourdier, Horatiu Cirstea:
Symbolic analysis of network security policies using rewrite systems. 77-88
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ColazzoS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ColazzoS11
Dario Colazzo, Carlo Sartiani:
Precision and complexity of XQuery type inference. 89-100

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/SabelS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/SabelS11
David Sabel, Manfred Schmidt-Schauß:
A contextual semantics for concurrent Haskell with futures. 101-112
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BlanchetteWBOS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BlanchetteWBOS11
Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar:
Nitpicking C++ concurrency. 113-124

Logic programming and constraints

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/NigamJLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/NigamJLS11
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov:
Maintaining distributed logic programs incrementally. 125-136
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/HaemmerleLH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/HaemmerleLH11
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo:
CLP projection for constraint handling rules. 137-148

Types and Lambda calculus

- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/BiernackaBL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/BiernackaBL11
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet:
Typing control operators in the CPS hierarchy. 149-160
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/ToninhoCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/ToninhoCP11
Bernardo Toninho, Luís Caires, Frank Pfenning:
Dependent session types via intuitionistic linear type theory. 161-172
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AlvesFFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AlvesFFM11
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. 173-182
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/Guenot11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/Guenot11
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.