Claudio V. Russo, Neng-Fa Zhou
Proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages
PADL, 2012.

@proceedings{PADL-2012,
	address       = "Philadelphia, Pennsylvania, USA",
	doi           = "10.1007/978-3-642-27694-1",
	editor        = "Claudio V. Russo and Neng-Fa Zhou",
	isbn          = "978-3-642-27693-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 7149,
	year          = 2012,
}

Contents (21 items)

4 ×#declarative
3 ×#functional
3 ×#programming
3 ×#specification
2 ×#algorithm
2 ×#approach
2 ×#haskell
2 ×#modelling
2 ×#using

PADL-2012-LooGLMMSWZ #declarative #network

Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.

PADL-2012-Stewart #exclamation #functional #haskell #programming

Make Things Now! Pragmatic Functional Programming in Haskell (DS), p. 17.

PADL-2012-GoldbergW #approach #declarative #modelling

A Declarative Approach for Software Modeling (MG, GW), pp. 18–32.

PADL-2012-AntoyH #contract #functional #logic programming #specification

Contracts and Specifications for Functional Logic Programming (SA, MH), pp. 33–47.

PADL-2012-MartinsME #functional #programming

The Environment as an Argument — Context-Aware Functional Programming (PMM, JAM, SE), pp. 48–62.

PADL-2012-LierlerSTW #declarative #problem

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.

PADL-2012-BalducciniL #aspect-oriented #tool support #using

Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.

PADL-2012-HaveC #performance #program transformation #using

Efficient Tabling of Structured Data Using Indexing and Program Transformation (CTH, HC), pp. 93–107.

PADL-2012-CampagnaSS #approximate #constraints #datalog #difference #optimisation

Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation (DC, BSS, TS), pp. 108–122.

PADL-2012-AlbertAG #concurrent #execution #symbolic computation

Symbolic Execution of Concurrent Objects in CLP (EA, PA, MGZ), pp. 123–137.

PADL-2012-GuzmanCCH #approach

A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.

PADL-2012-Lesniak #algorithm #graph #haskell #named

Palovca: Describing and Executing Graph Algorithms in Haskell (ML), pp. 153–167.

PADL-2012-ZhuFW #ad hoc #incremental

LearnPADS + + : Incremental Inference of Ad Hoc Data Formats (KQZ, KF, DW), pp. 168–182.

PADL-2012-BransenMDS #algorithm #attribute grammar

The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.

PADL-2012-Coleman #classification #distributed #policy #specification

Distributed Policy Specification and Interpretation with Classified Advertisements (NC), pp. 198–211.

PADL-2012-GillN #logic #using

Handshaking in Kansas Lava Using Patch Logic (AG, BN), pp. 212–226.

PADL-2012-Winograd-CortLH

Virtualizing Real-World Objects in FRP (DWC, HL, PH), pp. 227–241.

PADL-2012-BradyH #domain-specific language #embedded #programming

Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.

PADL-2012-BromanN #equation #modelling #object-oriented #semantics

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages (DB, HN), pp. 258–272.

PADL-2012-Tarau #declarative #specification

A Declarative Specification of Tree-Based Symbolic Arithmetic Computations (PT), pp. 273–288.

PADL-2012-St-AmourTFF #type system

Typing the Numeric Tower (VSA, STH, MF, MF), pp. 289–303.