default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th PADL 2013: Rome, Italy
- Konstantinos Sagonas
:
Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Lecture Notes in Computer Science 7752, Springer 2013, ISBN 978-3-642-45283-3 - Paul Klint, Atze van der Ploeg:
A Library for Declarative Resolution-Independent 2D Graphics. 1-18 - George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael E. Kummer:
Analysing the Entire Wikipedia History with Database Supported Haskell. 19-25 - Sergio Castro, Kim Mens, Paulo Moura:
LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis. 26-42 - Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido:
A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction. 43-59 - Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo:
Supporting Pruning in Tabled LP. 60-76 - Paulo Moura:
A Portable and Efficient Implementation of Coinductive Logic Programming. 77-92 - Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández:
Formalizing a Broader Recursion Coverage in SQL. 93-108 - Benjamin Canou, Emmanuel Chailloux, Vincent Balat:
A Declarative-Friendly API for Web Document Manipulation. 109-124 - Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck:
Implementing Equational Constraints in a Functional Language. 125-140 - João Santos, Ricardo Rocha:
On the Efficient Implementation of Mode-Directed Tabling. 141-156 - Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis:
The Generalized Intensional Transformation for Implementing Lazy Functional Languages. 157-172 - Senlin Liang, Michael Kifer:
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. 173-189 - Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels:
Integrative Functional Statistics in Logic Programming. 190-205 - Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro:
Reversible Language Extensions and Their Application in Debugging. 206-221 - Sander Canisius, Nicos Angelopoulos, Lodewyk F. A. Wessels:
proSQLite: Prolog File Based Databases via an SQLite Interface. 222-227 - Alan Jeffrey:
Dependently Typed Web Client Applications - FRP in Agda in HTML5. 228-243 - Rui Machado, Salvador Abreu, Daniel Diaz:
Parallel Performance of Declarative Programming Using a PGAS Model. 244-260
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 2025-04-18 00:17 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:
