Yuliya Lierler, Walid Taha
Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages
PADL, 2017.

@proceedings{PADL-2017,
	doi           = "10.1007/978-3-319-51676-9",
	editor        = "Yuliya Lierler and Walid Taha",
	isbn          = "978-3-319-51675-2",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 10137,
	year          = 2017,
}

Contents (14 items)

PADL-2017-AntoyH #functional #logic programming #nondeterminism #source code

Eliminating Irrelevant Non-determinism in Functional Logic Programs (SA, MH), pp. 1–18.

PADL-2017-ZhouF

Canonicalizing High-Level Constructs in Picat (NFZ, JF), pp. 19–33.

PADL-2017-DunduaKR #overview

An Overview of PρLog (BD, TK, KRH), pp. 34–49.

PADL-2017-RathR #object-oriented #programming #set

Integrating Answer Set Programming with Object-Oriented Languages (JR, CR), pp. 50–67.

PADL-2017-Redl #set #source code

Extending Answer Set Programs with Interpreted Functions as First-Class Citizens (CR), pp. 68–85.

PADL-2017-Vennekens #api #declarative #learning #programming #python

Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System (JV), pp. 86–102.

PADL-2017-FowlerH #performance #testing

Failing Faster: Overlapping Patterns for Property-Based Testing (JF, GH), pp. 103–119.

PADL-2017-BendkowskiGT #λ-calculus

Boltzmann Samplers for Closed Simply-Typed Lambda Terms (MB, KG, PT), pp. 120–135.

PADL-2017-HedgesOSWZ #game studies #higher-order

Selection Equilibria of Higher-Order Games (JH, PO, ES, VW, PZ), pp. 136–151.

PADL-2017-CostantiniGN #implementation #prototype

DALI for Cognitive Robotics: Principles and Prototype Implementation (SC, GDG, GN), pp. 152–162.

PADL-2017-NilssonC #declarative #programming

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications (HN, GC), pp. 163–172.

PADL-2017-Mainland #domain-specific language

A Domain-Specific Language for Software-Defined Radio (GM), pp. 173–188.

PADL-2017-Klock #declarative #domain-specific language

A Declarative DSL for Customizing ASCII Art (FSKI), pp. 189–197.

PADL-2017-MantadelisR #logic #probability #using

Using Iterative Deepening for Probabilistic Logic Inference (TM, RR0), pp. 198–213.