![](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 2012: Leuven, Belgium
- Danny De Schreye, Gerda Janssens, Andy King:
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. ACM 2012, ISBN 978-1-4503-1522-7
PPDP and LOPSTR invited talk
- Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp
, Fabian Emmes, Carsten Fuhs:
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. 1-12
Specification and execution
- Maarten van Emden:
Matrix code. 13-24 - Giovanni Bacci, Marco Comini
, Marco Antonio Feliú
, Alicia Villanueva
:
Automatic synthesis of specifications for first order curry programs. 25-34 - Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta:
Goal-directed execution of answer set programs. 35-44
Logics
- Piotr Filipiuk, Flemming Nielson
, Hanne Riis Nielson
:
Layered fixed point logic. 45-54 - Antoine Madet:
A polynomial time λ-calculus with multithreading and side effects. 55-66 - Edmund Soon Lee Lam, Iliano Cervesato
:
Modeling datalog fact assertion and retraction in linear logic. 67-78
Matching, parsing and searching
- Martin Sulzmann, Kenny Zhuo Ming Lu:
Regular expression sub-matching using partial derivatives. 79-90 - Hayo Thielecke:
Functional semantics of parsing actions, and left recursion elimination as continuation passing. 91-102 - Tom Schrijvers
, Markus Triska, Bart Demoen:
Tor: extensible search with hookable disjunction. 103-114
Types
- Ugo Dal Lago
, Barbara Petit:
Linear dependent types in a call-by-value scenario. 115-126 - Enrique Martin-Martin
, Juan Rodríguez-Hortalá:
Transparent function types: clearing up opacity. 127-138 - Ornela Dardha
, Elena Giachino
, Davide Sangiorgi:
Session types revisited. 139-150
Concurrency
- Svetlana Jaksic, Luca Padovani
:
Exception handling for copyless messaging. 151-162 - Rubén Monjaraz, Julio Mariño:
From the π-calculus to flat GHC. 163-172 - Andrea Triossi, Salvatore Orlando
, Alessandra Raffaetà, Thom W. Frühwirth:
Compiling CHR to parallel hardware. 173-184
Applications
- Macías López, Laura M. Castro
, David Cabrero
:
Declarative distributed advertisement system for iDTV: an industrial experience. 185-194 - Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman:
Task-oriented programming in a pure functional language. 195-206 - Carlos Olarte
, Elaine Pimentel
, Camilo Rueda
, Néstor Cataño
:
A linear concurrent constraint approach for the automatic verification of access permissions. 207-216
![](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.