Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPPDP 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
a service of 
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-04-25 22:06 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:
