Andy Gill, Terrance Swift
Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
PADL, 2009.

@proceedings{PADL-2009,
	address       = "Savannah, Georgia, USA",
	doi           = "10.1007/978-3-540-92995-6",
	editor        = "Andy Gill and Terrance Swift",
	isbn          = "978-3-540-92994-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 5418,
	year          = 2009,
}

Contents (19 items)

4 ×#declarative
2 ×#implementation
2 ×#logic programming
2 ×#modelling
2 ×#network
2 ×#source code
2 ×#thread
2 ×#towards

PADL-2009-PereiraDL #abduction #modelling #on the

On Preferring and Inspecting Abductive Models (LMP, PD, GL), pp. 1–15.

PADL-2009-HanusK #declarative #programming #user interface

Declarative Programming of User Interfaces (MH, CK), pp. 16–30.

PADL-2009-DukeBWR #design #domain-specific language #embedded #multi #source code #visualisation

Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs (DJD, RB, MW, CR), pp. 31–45.

PADL-2009-EastlundF #towards

Toward a Practical Module System for ACL2 (CE, MF), pp. 46–60.

PADL-2009-WangBLS #declarative #network #verification

Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.

PADL-2009-NavarroR #declarative #network #semantics

Operational Semantics for Declarative Networking (JANP, AR), pp. 76–90.

PADL-2009-XiFWZ #ad hoc #ambiguity #problem

Ad Hoc Data and the Token Ambiguity Problem (QX, KF, DW, KQZ), pp. 91–106.

PADL-2009-MouraRM #thread

High Level Thread-Based Competitive Or-Parallelism in Logtalk (PM, RR, SCM), pp. 107–121.

PADL-2009-SuleimanM #concurrent #implementation #parallel #prolog #thread

Implementing Thread Cancellation in Multithreaded Prolog Systems (AS, JM), pp. 122–136.

PADL-2009-TarauM #logic

Interoperating Logic Engines (PT, AKM), pp. 137–151.

PADL-2009-Porto #database #interactive #logic programming #relational

High-Level Interaction with Relational Databases in Logic Programming (AP), pp. 152–167.

PADL-2009-ZookPS #datalog

Typed Datalog (DZ, EP, BSS), pp. 168–182.

PADL-2009-MaldeO #analysis #haskell #scalability #sequence #using

Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell (KM, BO), pp. 183–194.

PADL-2009-CostaR

One Table Fits All (JC, RR), pp. 195–208.

PADL-2009-Leshchinskiy #array #exclamation

Recycle Your Arrays! (RL), pp. 209–223.

PADL-2009-GuzmanCH #execution #program transformation #towards

Towards a Complete Scheme for Tabled Execution Based on Program Transformation (PCdG, MC, MVH), pp. 224–238.

PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis

Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.

PADL-2009-PereiraP #logic programming #modelling #query #source code #top-down

Layered Models Top-Down Querying of Normal Logic Programs (LMP, AMP), pp. 254–268.

PADL-2009-Moura #implementation

Secure Implementation of Meta-predicates (PM), pp. 269–283.