Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.