Ricardo Rocha, John Launchbury
Proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages
PADL, 2011.

@proceedings{PADL-2011,
	address       = "Austin, Texas, USA",
	doi           = "10.1007/978-3-642-18378-2",
	editor        = "Ricardo Rocha and John Launchbury",
	isbn          = "978-3-642-18377-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 6539,
	year          = 2011,
}

Contents (20 items)

5 ×#named
3 ×#declarative
3 ×#programming
3 ×#using
2 ×#combinator
2 ×#detection
2 ×#functional
2 ×#message passing
2 ×#network

PADL-2011-Kaivola #execution #framework #functional #validation

Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.

PADL-2011-Mooney #learning

Learning Language from Its Perceptual Context (RJM), pp. 2–4.

PADL-2011-ChristakisS #detection #fault #message passing #static analysis #using

Detection of Asynchronous Message Passing Errors Using Static Analysis (MC, KFS), pp. 5–18.

PADL-2011-Brown #combinator #haskell #message passing

Combinators for Message-Passing in Haskell (NCCB), pp. 19–33.

PADL-2011-MantadelisPJVB #ad hoc #mobile #network

Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog (TM, KP, GJ, YV, YB), pp. 34–37.

PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.

PADL-2011-Hinrichs #compilation #interactive #named #web

Plato: A Compiler for Interactive Web Forms (TLH), pp. 54–68.

PADL-2011-WielemakerC #on the #prolog

On the Portability of Prolog Applications (JW, VSC), pp. 69–83.

PADL-2011-DevrieseP #combinator #domain-specific language #recursion #semiparsing

Explicitly Recursive Grammar Combinators — A Better Model for Shallow Parser DSLs (DD, FP), pp. 84–98.

PADL-2011-RedlEK #declarative #set #using

Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.

PADL-2011-SalgueiroDBA #constraints #detection #using

Using Constraints for Intrusion Detection: The NeMODe System (PDS, DD, IB, SA), pp. 115–129.

PADL-2011-KrajcevskiR #api #declarative

A Declarative API for Particle Systems (PK, JHR), pp. 130–144.

PADL-2011-CaballeroGS #functional #xpath

Integrating XPath with the Functional-Logic Language Toy (RC, YGR, FSP), pp. 145–159.

PADL-2011-Christiansen #named #strict

Sloth — A Tool for Checking Minimal-Strictness (JC), pp. 160–174.

PADL-2011-SymePL #f# #programming

The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.

PADL-2011-HolkBWHCL #communication #declarative #named

Kanor — A Declarative Language for Explicit Communication (EH, WEB, JW, TH, AC, AL), pp. 190–204.

PADL-2011-PetricekS #concurrent #control flow #named #parallel #programming

Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming (TP, DS), pp. 205–219.

PADL-2011-FodorAR

Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.

PADL-2011-VoellmyH #named #network #programming

Nettle: Taking the Sting Out of Programming Network Routers (AV, PH), pp. 235–249.

PADL-2011-BelwalC

Determining Actual Response Time in P-FRP (CB, AMKC), pp. 250–264.