Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Olaf Chitil, Andy King, Olivier Danvy (eds.) |
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-2947-7 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens |
Experimental Evaluation of a State-Of-The-Art Grounder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 249-258, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Amal Ahmed 0001, Umut A. Acar |
Database Queries that Explain their Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 271-282, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julian Kranz, Axel Simon |
Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 187-198, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danko Ilik |
Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 55-56, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Luminous Fennell, Peter Thiemann 0001, Yang Zhang |
A Type Theoretic Specification of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 57-68, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Ferreira 0001, Brigitte Pientka |
Bidirectional Elaboration of Dependently Typed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 161-174, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
Continuations, Processes, and Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 69-80, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer |
Parametricity and Proving Free Theorems for Functional-Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 19-30, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Karczmarczuk |
On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 105-110, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre |
Declarative Software Development: Distilled Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 1-6, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
Efficient computation of program equivalence for confluent concurrent constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 263-274, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Ian Zerny |
A synthetic operational account of call-by-need evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 97-108, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Louis Mandel, Cédric Pasteur, Marc Pouzet |
Time refinement in a functional synchronous language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 169-180, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jael Kriener, Andy King, Sandrine Blazy |
Proofs you can believe in: proving equivalences between Prolog semantics in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 37-48, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Fred Mesnard |
Eventual linear ranking functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 229-238, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazutaka Matsuda, Meng Wang 0002 |
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 297-308, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edward Robbins 0001, Jacob M. Howe, Andy King |
Theory propagation and rational-trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 193-204, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Norman Ramsey, Bradford Larsen |
Engineering definitional interpreters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 121-132, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Holdermans |
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 275-284, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara |
A declarative and bidirectional model transformation approach based on graph co-spans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 1-12, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano 0001 |
A parameterized graph transformation calculus for finite graphs with monadic branches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 73-84, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Akihisa Yamada 0002, Keiichirou Kusakari, Toshiki Sakabe |
Unifying the Knuth-Bendix, recursive path and polynomial orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 181-192, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marco Calautti, Sergio Greco, Irina Trubitsyna |
Detecting decidable classes of finitely ground logic programs with function symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 239-250, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki |
An operational foundation for the tactic language of Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 25-36, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña, Tom Schrijvers (eds.) |
15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-2154-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | John T. O'Donnell |
Extensible sparse functional arrays with circuit parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 133-144, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Peter J. Stuckey, Antonio Tenorio-Fornes |
Finite type extensions in constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 217-227, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joana Côrte-Real, Inês de Castro Dutra, Ricardo Rocha 0001 |
Prolog programming with a map-reduce parallel construct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 285-296, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Michael Hanus, Fabian Reck 0002, Daniel Seidel |
A semantics for weakly encapsulated search in functional logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 49-60, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand |
Coq: the world's best macro assembler? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 13-24, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro |
Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 85-96, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Wang 0001, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur |
Reasoning about higher-order relational specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 157-168, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Simmons, Ian Zerny |
A logical correspondence between natural semantics and abstract machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 109-119, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Andy Jost |
Are needed redexes really needed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 61-71, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña, Clara Segura |
Shape analysis in a functional language by using regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 251-262, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Edmund S. L. Lam, Iliano Cervesato |
Decentralized execution of constraint handling rules for ensembles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 205-216, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Stewart 0001, Anindya Banerjee 0001, Aleksandar Nanevski |
Dependent types for enforcement of information flow and erasure policies in heterogeneous data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, pp. 145-156, 2013, ACM, 978-1-4503-2154-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Maarten van Emden |
Matrix code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 13-24, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hayo Thielecke |
Functional semantics of parsing actions, and left recursion elimination as continuation passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 91-102, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bacci 0001, Marco Comini, Marco Antonio Feliú, Alicia Villanueva |
Automatic synthesis of specifications for first order curry programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 25-34, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edmund Soon Lee Lam, Iliano Cervesato |
Modeling datalog fact assertion and retraction in linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 67-78, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rubén Monjaraz, Julio Mariño |
From the π-calculus to flat GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 163-172, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Macías López, Laura M. Castro, David Cabrero |
Declarative distributed advertisement system for iDTV: an industrial experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 185-194, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Jaksic, Luca Padovani |
Exception handling for copyless messaging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 151-162, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Triossi, Salvatore Orlando 0001, Alessandra Raffaetà, Thom W. Frühwirth |
Compiling CHR to parallel hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 173-184, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Martin-Martin, Juan Rodríguez-Hortalá |
Transparent function types: clearing up opacity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 127-138, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
Session types revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 139-150, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Barbara Petit |
Linear dependent types in a call-by-value scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 115-126, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 1-12, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Marple, Ajay Bansal, Richard Min, Gopal Gupta 0001 |
Goal-directed execution of answer set programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 35-44, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson |
Layered fixed point logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 45-54, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rinus Plasmeijer, Bas Lijnse, Steffen Michels, Peter Achten, Pieter W. M. Koopman |
Task-oriented programming in a pure functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 195-206, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Madet |
A polynomial time λ-calculus with multithreading and side effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 55-66, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño |
A linear concurrent constraint approach for the automatic verification of access permissions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 207-216, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Markus Triska, Bart Demoen |
Tor: extensible search with hookable disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 103-114, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danny De Schreye, Gerda Janssens, Andy King (eds.) |
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-1522-7 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
Regular expression sub-matching using partial derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 79-90, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schneider-Kamp, Michael Hanus (eds.) |
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-0776-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | David Sabel, Manfred Schmidt-Schauß |
A contextual semantics for concurrent Haskell with futures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 101-112, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dario Colazzo, Carlo Sartiani |
Precision and complexity of XQuery type inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 89-100, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Graph-transformation verification using monadic second-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 17-28, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrey Rybalchenko |
Towards automatic synthesis of software verification tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 3-4, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Guenot |
Nested proof search as reduction in the Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 183-194, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Georg Sauthoff, Stefan Janssen, Robert Giegerich |
Bellman's GAP: a declarative language for dynamic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 29-40, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
Nitpicking C++ concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 113-124, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Felix Schernhammer, José Meseguer 0001 |
Incremental checking of well-founded recursive specifications modulo axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 5-16, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda, Fernando Pérez Morente |
A modular semantics for higher-order declarative programming with constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 41-52, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet |
Typing control operators in the CPS hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 149-160, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tony Bourdier, Horatiu Cirstea |
Symbolic analysis of network security policies using rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 77-88, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Limin Jia 0001, Boon Thau Loo, Andre Scedrov |
Maintaining distributed logic programs incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 125-136, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001, Deepak Kapur, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse |
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 65-76, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Toninho, Luís Caires, Frank Pfenning |
Dependent session types via intuitionistic linear type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 161-172, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Lagoon |
The challenges of constraint-based test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 1-2, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linearity and recursion in a typed Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 173-182, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Daniel Seidel |
Minimally strict polymorphic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 53-64, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo |
CLP projection for constraint handling rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, pp. 137-148, 2011, ACM, 978-1-4503-0776-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 155-164, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types |
1 | Miquel Bofill, Dídac Busquets, Mateu Villaret |
A declarative approach to robust weighted Max-SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 67-76, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
max-sat, robustness |
1 | Yukiyoshi Kameyama, Asami Tanaka |
Equational axiomatization of call-by-name delimited control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 77-86, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Gacek |
Relating nominal and higher-order abstract syntax specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 177-186, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
higher-order abstract syntax, proof search, nominal logic |
1 | Claus Brabrand, Jakob G. Thomsen |
Typed and unambiguous pattern matching on strings using regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 243-254, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
static analysis, pattern matching, type inference, parsing, regular expressions, ambiguity, disambiguation |
1 | Senlin Liang, Michael Kifer |
Deriving predicate statistics in datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 45-56, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
argument dependency, derived predicate statistics, query optimization, cost estimate |
1 | Manuel Serrano |
HSS: a compiler for cascading style sheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 109-118, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Tuncay Tekle, Yanhong A. Liu |
Precise complexity analysis for efficient datalog queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 35-44, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
demand-driven evaluation, optimization, program transformation, datalog, tabling, complexity analysis |
1 | Sumit Gulwani |
Dimensions in program synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 13-24, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
deductive synthesis, inductive synthesis, sat solving, smt solving, machine learning, genetic programming, programming by demonstration, belief propagation, programming by examples, probabilistic inference |
1 | Gilles Dowek, Murdoch James Gabbay |
Permissive-nominal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 165-176, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Carl Friedrich Bolz, Michael Leuschel, David Schneider 0001 |
Towards a jitting VM for prolog execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 99-108, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
logic programming, interpreters, partial evaluation, jit |
1 | Thierry Martinez |
Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 57-66, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
Graph queries through datalog optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 25-34, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Snow, David Baelde, Gopalan Nadathur |
A meta-programming approach to realizing dependently typed logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 187-198, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks |
1 | Wolfgang Jeltsch |
Generic record combinators with static type checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 143-154, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
closed classes, higher-rank polymorphism, type equality, type families, type-level programming, type-level reification, generic programming, induction |
1 | Florent Jacquemard, Michaël Rusinowitch |
Rewrite-based verification of XML updates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 119-130, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hedge automata, static typechecking, xml access control policies, xml updates, term rewriting |
1 | Patrick Baillot, Martin Hofmann 0001 |
Type inference in intuitionistic linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 219-230, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Asai, Arisa Kitani |
Functional derivation of a virtual machine for delimited continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 87-98, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization |
1 | Paul Tarau |
Declarative modeling of finite mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 131-142, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Maria Paola Bonacina |
On theorem proving for program checking: historical perspective and recent developments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 1-12, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
combination of theories, rewrite-based theorem proving, speculative inferences, satisfiability modulo theories |
1 | Thibaut Balabonski |
Optimality for dynamic patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 231-242, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic patterns, labelled calculi, optimality, pattern matching, sharing |
1 | Paul Fodor, Michael Kifer |
Tabling for transaction logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 199-208, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
Declarative workflows to efficiently manage flexible and advanced business processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 209-218, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
declarative workflow, executable specification language, temporal logic, business process management |