Proceedings of the 12th 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

Manuel Carro, Ricardo Peña
Proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages
PADL, 2010.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{PADL-2010,
	address       = "Madrid, Spain",
	doi           = "10.1007/978-3-642-11503-5",
	editor        = "Manuel Carro and Ricardo Peña",
	isbn          = "978-3-642-11502-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 5937,
	year          = 2010,
}

Contents (24 items)

PADL-2010-Pontelli #perspective #programming #set
Answer Set Programming in 2010: A Personal Perspective (EP), pp. 1–3.
PADL-2010-Marti-Oliet #maude
An Introduction to Maude and Some of Its Applications (NMO), pp. 4–9.
PADL-2010-LeoneRRT #integration #performance #programming #set
Efficient Application of Answer Set Programming for Advanced Data Integration (NL, FR, LAR, GT), pp. 10–24.
PADL-2010-GomesAS #hybrid #implementation #knowledge base #query
Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.
PADL-2010-GrassoILLRS
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport (GG, SI, NL, VL, FR, FS), pp. 40–42.
PADL-2010-Iborra #exception #haskell
Explicitly Typed Exceptions for Haskell (JI), pp. 43–57.
PADL-2010-Boespflug #evaluation
Conversion by Evaluation (MB), pp. 58–72.
PADL-2010-DieterleHL #composition #using
Skeleton Composition Using Remote Data (MD, TH, RL), pp. 73–87.
PADL-2010-GrumbachW #distributed #programming #rule-based
Netlog, a Rule-Based Language for Distributed Programming (SG, FW), pp. 88–103.
PADL-2010-LiT #detection #erlang #source code
Similar Code Detection and Elimination for Erlang Programs (HL, SJT), pp. 104–118.
PADL-2010-ChristakisS #detection #erlang #static analysis
Static Detection of Race Conditions in Erlang (MC, KFS), pp. 119–133.
PADL-2010-AgarwalBGG #automation #program transformation
Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
PADL-2010-SridharH #monitoring #prolog
ActionScript In-Lined Reference Monitoring in Prolog (MS, KWH), pp. 149–151.
PADL-2010-LiuH
An Ode to Arrows (HL, PH), pp. 152–166.
PADL-2010-HafizF #attribute grammar #combinator #execution #lazy evaluation #specification
Lazy Combinators for Executable Specifications of General Attribute Grammars (RH, RAF), pp. 167–182.
PADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack
A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.
PADL-2010-Perera #first-order #interactive #programming
First-Order Interactive Programming (RP), pp. 186–200.
PADL-2010-HanusK #declarative #framework #programming #web
An ER-Based Framework for Declarative Web Programming (MH, SK), pp. 201–216.
PADL-2010-GentMM #constraints #lazy evaluation
Lazy Explanations for Constraint Propagators (IPG, IM, NCAM), pp. 217–233.
PADL-2010-Costa #implementation #on the
On the Implementation of the CLP(BN) Language (VSC), pp. 234–248.
PADL-2010-RaimundoR #evaluation
Compact Lists for Tabled Evaluation (JR, RR), pp. 249–263.
PADL-2010-MarquesSC #concurrent #implementation #performance
A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.
PADL-2010-AreiasR #implementation #linear #order #performance
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives (MA, RR), pp. 279–293.
PADL-2010-LopesP
Prospective Storytelling Agents (GL, LMP), pp. 294–296.

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.