11. PADL 2009: Savannah, GA, USA

Andy Gill, Terrance Swift (Eds.): Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Lecture Notes in Computer Science 5418 Springer 2009, ISBN 978-3-540-92994-9 BibTeX

Invited Talk

Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes:
On Preferring and Inspecting Abductive Models. 1-15
Electronic Edition (link) BibTeX

User Interfaces and Environments

Michael Hanus, Christof Kluß:
Declarative Programming of User Interfaces. 16-30
Electronic Edition (link) BibTeX
David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman:
Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. 31-45
Electronic Edition (link) BibTeX
Carl Eastlund, Matthias Felleisen:
Toward a Practical Module System for ACL2. 46-60
Electronic Edition (link) BibTeX

Networks and Data

Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky:
Declarative Network Verification. 61-75
Electronic Edition (link) BibTeX
Juan A. Navarro, Andrey Rybalchenko:
Operational Semantics for Declarative Networking. 76-90
Electronic Edition (link) BibTeX
Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu:
Ad Hoc Data and the Token Ambiguity Problem. 91-106
Electronic Edition (link) BibTeX

Multi-threading and Parallelism

Paulo Moura, Ricardo Rocha, Sara C. Madeira:
High Level Thread-Based Competitive Or-Parallelism in Logtalk. 107-121
Electronic Edition (link) BibTeX
Atef Suleiman, John Miller:
Implementing Thread Cancellation in Multithreaded Prolog Systems. 122-136
Electronic Edition (link) BibTeX
Paul Tarau, Arun Majumdar:
Interoperating Logic Engines. 137-151
Electronic Edition (link) BibTeX

Databases and Large Data Sets

António Porto:
High-Level Interaction with Relational Databases in Logic Programming. 152-167
Electronic Edition (link) BibTeX
David Zook, Emir Pasalic, Beata Sarna-Starosta:
Typed Datalog. 168-182
Electronic Edition (link) BibTeX
Ketil Malde, Bryan O'Sullivan:
Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. 183-194
Electronic Edition (link) BibTeX

Tabling and Optimization

Jorge Costa, Ricardo Rocha:
One Table Fits All. 195-208
Electronic Edition (link) BibTeX
Roman Leshchinskiy:
Recycle Your Arrays! 209-223
Electronic Edition (link) BibTeX
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 224-238
Electronic Edition (link) BibTeX

Language Extensions and Implementation

Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son:
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. 239-253
Electronic Edition (link) BibTeX
Luís Moniz Pereira, Alexandre Miguel Pinto:
Layered Models Top-Down Querying of Normal Logic Programs. 254-268
Electronic Edition (link) BibTeX
Paulo Moura:
Secure Implementation of Meta-predicates. 269-283
Electronic Edition (link) BibTeX