default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th PADL 2009: Savannah, GA, USA
- Andy Gill, Terrance Swift:
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
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 2024-11-05 20:47 CET 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:
