Enrico Pontelli, Tran Cao Son
Proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages
PADL, 2015.

@proceedings{PADL-2015,
	address       = "Portland, Oregon, USA",
	doi           = "10.1007/978-3-319-19686-2",
	editor        = "Enrico Pontelli and Tran Cao Son",
	isbn          = "978-3-319-19685-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 9131,
	year          = 2015,
}

Contents (10 items)

2 ×#compilation
2 ×#implementation
2 ×#logic programming
2 ×#on the
2 ×#source code

PADL-2015-BalducciniKS #semantics

Ontology-Driven Data Semantics Discovery for Cyber-Security (MB, SK, JS), pp. 1–16.

PADL-2015-BassedaK #logic #transaction #using

State Space Planning Using Transaction Logic (RB, MK), pp. 17–33.

PADL-2015-CruzR #compilation #linear #logic programming #on the #source code

On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities (FC, RR), pp. 34–49.

PADL-2015-DymchenkoM #problem

Declaratively Solving Google Code Jam Problems with Picat (SD, MM), pp. 50–57.

PADL-2015-FowlerDG #data flow

Reactive Single-Page Applications with Dynamic Dataflow (SF, LD, AG), pp. 58–73.

PADL-2015-Hanus #compilation #constraints

CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry (MH), pp. 74–89.

PADL-2015-ShterionovJ #implementation #performance #pipes and filters #probability

Implementation and Performance of Probabilistic Inference Pipelines (DSS, GJ), pp. 90–104.

PADL-2015-TamaritVCM #c #haskell #implementation #program transformation #rule-based #source code

A Haskell Implementation of a Rule-Based Program Transformation for C Programs (ST, GV, MC, JM), pp. 105–114.

PADL-2015-Tarau #combinator #generative #logic programming #normalisation #on the #type inference

On Logic Programming Representations of λ Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization (PT), pp. 115–131.

PADL-2015-VaugonWC #ml #programming

Programming Microcontrollers in OCaml: The OCaPIC Project (BV, PW, EC), pp. 132–148.