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

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

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.