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

@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)

5 ×#implementation
5 ×#programming
3 ×#performance
2 ×#detection
2 ×#erlang
2 ×#evaluation
2 ×#lazy evaluation
2 ×#set

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.