Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Abhishek Dang, Piyush P. Kurur |
Verse: An EDSL for Cryptographic Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 10:1-10:9, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice |
Automatic Reordering for Dataflow Safety of Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 9:1-9:17, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart, Ugo Dal Lago |
On Intersection Types and Probabilistic Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 8:1-8:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Seidl, Ralf Vogler |
Three Improvements to the Top-Down Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 21:1-21:14, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton |
Semantic Equivalence Checking for HHVM Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 3:1-3:8, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel, Peter Thiemann 0001 (eds.) |
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Pablo Barenbaum, Eduardo Bonelli, Kareem Mohamed |
Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 6:1-6:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taku Terao |
Lazy Abstraction for Higher-Order Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 23:1-23:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel, Nils Dallmeyer |
Sequential and Parallel Improvements in a Concurrent Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 20:1-20:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Bendkowski, Pierre Lescanne |
Combinatorics of Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 7:1-7:12, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur, Yuting Wang 0001 |
Schematic Polymorphism in the Abella Proof Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 15:1-15:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Klemen, Nataliia Stulova, Pedro López-García 0001, José F. Morales 0001, Manuel V. Hermenegildo |
Static Performance Guarantees for Programs with Runtime Checks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 13:1-13:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Genki Sakanashi, Masahiko Sakai |
Transformation of Combinatorial Optimization Problems Written in Extended SQL into Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 19:1-19:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner |
Symbolic Execution for JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1-11:14, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dmitri Rozplokhas, Dmitri Boulytchev |
Improving Refutational Completeness of Relational Search via Divergence Test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 18:1-18:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner |
JaVerT: JavaScript Verification and Testing Framework: Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 1:1-1:4, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Girka, David Mentré, Yann Régis-Gianas |
Verifiable semantic difference languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 73-84, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Savary Bélanger, Andrew W. Appel |
Shrink fast correctly! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 49-60, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Antares Mezzina, Jorge A. Pérez 0001 |
Causally consistent reversible choreographies: a monitors-as-memories approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 127-138, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Bruno Barras |
Environments and the complexity of abstract machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 4-16, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Serge Abiteboul |
Issues in ethical data management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 1, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amos Robinson, Ben Lippmeier |
Machine fusion: merging merges, more or less. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 139-150, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marieke Huisman |
A verification technique for deterministic parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 3, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo, Silvia Ghilezan |
Characterization of strong normalizability for a sequent lambda calculus with co-control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 163-174, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Laforgue, Yann Régis-Gianas |
Copattern matching and first-class observations in OCaml, with a macro. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 97-108, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wim Vanhoof, Brigitte Pientka (eds.) |
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-5291-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Jacob M. Howe, Edward Robbins 0001, Andy King |
Theory learning with symmetry breaking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 85-96, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel |
Alpha-renaming of higher-order meta-expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 151-162, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicos Angelopoulos, Jan Wielemaker |
Accessing biological data as Prolog facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 29-38, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luis Aguirre 0001, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita |
Conditional narrowing modulo SMT and axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 17-28, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Winant, Jesper Cockx, Dominique Devriese |
Expressive and strongly type-safe code generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 199-210, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Defunctionalisation as modular closure conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 175-186, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jacek Chrzaszcz, Aleksy Schubert |
Function definitions for compound values in object-oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 61-72, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fred Mesnard, Étienne Payet, Germán Vidal |
Selective unification in constraint logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 115-126, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani |
Programming by examples: applications, algorithms, and ambiguity resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 2, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christopher S. Meiklejohn, Vitor Enes, Junghun Yoo, Carlos Baquero, Peter Van Roy, Annette Bieniusa |
Practical evaluation of the Lasp programming model at large scale: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 109-114, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti |
A core calculus for provenance inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 187-198, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Adrien Maillard |
Attribute grammars with set attributes and global constraints as a unifying framework for planning domain models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017, pp. 39-48, 2017, ACM, 978-1-4503-5291-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Unification of program expressions with recursive bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 160-173, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
Exploration of language specifications by compilation to first-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 104-117, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
Typechecking protocols with Mungo and StMungo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 146-159, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Martin Hofmann 0001, Vivek Nigam |
Effect-dependent transformations for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 188-201, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri |
A framework for easing the development of applications embedding answer set programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 38-49, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Reducing the overhead of assertion run-time checks via static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 90-103, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois |
Analysis of access control policy updates through narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 62-75, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Nagao, Naoki Nishida 0001 |
Proving inductive validity of constrained inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 50-61, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea |
Actors may synchronize, safely! ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 118-131, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Angelos Charalambidis, Panos Rondogiannis, Antonis Troumpoukis |
Higher-order logic programming: an expressive language for representing qualitative preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 24-37, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Greg Morrisett |
Challenges in compiling Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 9, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Mesnard, Étienne Payet, Wim Vanhoof |
Towards a framework for algorithm recognition in binary code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 202-213, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
Demand-driven incremental object queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 228-241, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson |
Iterated process analysis over lattice-valued regular expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 132-145, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Sonia Santiago |
Strand spaces with choice via a process algebra semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 76-89, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Giulio Guerrieri |
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 174-187, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Arias, Manuel Carro |
Description and evaluation of a generic design to integrate CLP and tabled execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 10-23, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Fehrenbach, James Cheney |
Language-integrated provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 214-227, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa |
Testing of concurrent and imperative software using CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016, pp. 1-8, 2016, ACM, 978-1-4503-4148-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Germán Vidal (eds.) |
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-4148-6 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johan Grande, Gérard Boudol, Manuel Serrano |
Jthread, a deadlock-free mutex library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 149-160, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Proof checking and logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 18, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abeer S. Al-Humaimeedy, Maribel Fernández |
Enhancing the specification and verification techniques of multiparty sessions in SOC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 19-30, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aggelos Giantsios, Nikolaos S. Papaspyrou, Konstantinos Sagonas |
Concolic testing for functional languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 137-148, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001 |
Automatic amortized analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 5, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Abel Garcia, Cosimo Laneve, Michael Lienhardt |
Static analysis of cloud elasticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 125-136, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gall, Thom W. Frühwirth |
A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 114-124, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
On a uniform representation of combinators, arithmetic, lambda terms and types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 244-255, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Exequiel Rivas, Mauro Jaskelioff, Tom Schrijvers |
From monoids to near-semirings: the essence of MonadPlus and alternative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 196-207, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roman Barták, Agostino Dovier, Neng-Fa Zhou |
On modeling planning problems in tabled logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 31-42, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Panos Rondogiannis, Antonis Troumpoukis |
Expressing preferences in logic programming using an infinite-valued logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 208-219, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Meiklejohn, Peter Van Roy |
Lasp: a language for distributed, coordination-free programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 184-195, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Elvira Albert (eds.) |
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![ACM, 978-1-4503-3516-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Debugging of wrong and missing answers for datalog programs with constraint handling rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 55-66, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taus Brock-Nannestad, Nicolas Guenot, Daniel Gustafsson |
Computation in focused intuitionistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 43-54, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Verification by abstract interpretation, soundness and abstract induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 1-4, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Schmidt-Schauß, David Sabel |
Improvements in a functional core language with call-by-need operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 220-231, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chen Chen 0019, Lay Kuan Loh, Limin Jia 0001, Wenchao Zhou, Boon Thau Loo |
Automated verification of safety properties of declarative networking programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 79-90, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover |
Detecting concurrency bugs in higher-order programs through abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 232-243, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth |
A devil's advocate against termination of direct recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 103-113, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Martinez, François Fages, Sylvain Soliman |
Search by constraint propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 173-183, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Louis Mandel, Cédric Pasteur, Marc Pouzet |
ReactiveML, ten years later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 6-17, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Cano, Camilo Rueda, Hugo A. López 0001, Jorge A. Pérez 0001 |
Declarative interpretations of session-based concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 67-78, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia |
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 161-172, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Semantics-based generation of verification conditions by program specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 91-102, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé |
On Combining Backward and Forward Chaining in Constraint Logic Programming. ![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. 213-224, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran |
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. ![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. 123-133, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen |
Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. ![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. 259-270, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Neron |
Elimination of Square Roots and Divisions by Partial Inlining. ![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. 81-92, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi |
Unveiling and Veiling Information in 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. 211-212, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas, José Meseguer 0001 |
Proving Operational Termination of Declarative Programs in General Logics. ![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. 111-122, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Nilsson, Ivan Perez 0001 |
Declarative Game Programming: 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. 159-160, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Organising Low-Level Programs using Higher Types. ![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. 199-210, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. ![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. 31-42, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Flávio Cruz, Ricardo Rocha 0001, Seth Copen Goldstein |
Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic 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. 43-54, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Louis Giavitto, José Echeveste |
Real-Time Matching of Antescofo Temporal Patterns. ![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. 93-104, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takahito Aoto 0001, Sorin Stratulat |
Decision Procedures for Proving Inductive Theorems without Induction. ![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. 237-248, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Douence, Nicolas Tabareau |
Lazier Imperative Programming. ![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. 7-18, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Ramsay |
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. ![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. 175-186, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
On the Preciseness of Subtyping in Session Types. ![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. 135-146, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nataliia Stulova, José F. Morales 0001, Manuel V. Hermenegildo |
Assertion-based Debugging of Higher-Order (C)LP 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. 225-235, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Pacheco 0001, Tao Zan, Zhenjiang Hu |
BiFluX: A Bidirectional Functional Update Language for XML. ![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. 147-158, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|