Ekaterina Komendantskaya, Yanhong Annie Liu
Proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages
PADL, 2020.

@proceedings{PADL-2020,
	doi           = "10.1007/978-3-030-39197-3",
	editor        = "Ekaterina Komendantskaya and Yanhong Annie Liu",
	isbn          = "['978-3-030-39196-6', '978-3-030-39197-3']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 12007,
	year          = 2020,
}

Contents (14 items)

PADL-2020-TarauB #graph #interactive #mining #prolog

Interactive Text Graph Mining with a Prolog-based Dialog Engine (PT, EB0), pp. 3–19.

PADL-2020-ChanC #distance #edit distance #flexibility #graph #programming #set #using

Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming (SCC, JC), pp. 20–36.

PADL-2020-NguyenPS #on the #web #web service #workflow

On Repairing Web Services Workflows (THN, EP, TCS), pp. 37–53.

PADL-2020-BasuSG #named #visual notation

AQuA: ASP-Based Visual Question Answering (KB0, FS, GG), pp. 57–72.

PADL-2020-BrikX #pipes and filters #using

Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report (AB, JX), pp. 73–81.

PADL-2020-NguyenZJXD #artificial reality #learning #named #programming #set

VRASP: A Virtual Reality Environment for Learning Answer Set Programming (VTN, YZ0, KJ, WX, TD), pp. 82–91.

PADL-2020-ElsmanH #garbage collection #memory management #ml #on the

On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML (ME, NH), pp. 95–112.

PADL-2020-ShivkumarMZ #named #realtime #runtime

RTMLton: An SML Runtime for Real-Time Systems (BS, JCM, LZ), pp. 113–130.

PADL-2020-Janin #monad

A Timed IO Monad (DJ), pp. 131–147.

PADL-2020-FichteHTW #database

Exploiting Database Management Systems and Treewidth for Counting (JKF, MH, PT, SW), pp. 151–167.

PADL-2020-ShakerinG #induction #mining #using

Whitebox Induction of Default Rules Using High-Utility Itemset Mining (FS, GG), pp. 168–176.

PADL-2020-ErwigKF #programming

Explanations for Dynamic Programming (ME, PK, AF), pp. 179–195.

PADL-2020-ErikssonP #diagrams #domain-specific language #integer #reasoning

A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams (JE, MP), pp. 196–212.

PADL-2020-ShahinC #datalog #variability

Variability-Aware Datalog (RS, MC), pp. 213–221.