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

Invited Talk

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

User Interfaces and Environments

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

Networks and Data

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

Multi-threading and Parallelism

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

Databases and Large Data Sets

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

Tabling and Optimization

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

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
Luís Moniz Pereira, Alexandre Miguel Pinto:
Layered Models Top-Down Querying of Normal Logic Programs. 254-268
Paulo Moura:
Secure Implementation of Meta-predicates. 269-283

Last update Wed Feb 15 05:14:55 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page