José Júlio Alferes, Moa Johansson
Proceedings of the 21st International Symposium on Practical Aspects of Declarative Languages
PADL, 2019.

@proceedings{PADL-2019,
	doi           = "10.1007/978-3-030-05998-9",
	editor        = "José Júlio Alferes and Moa Johansson",
	isbn          = "['978-3-030-05997-2', '978-3-030-05998-9']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 11372,
	year          = 2019,
}

Contents (14 items)

PADL-2019-Lierler #equivalence #first-order #logic programming #source code

Strong Equivalence and Program's Structure in Arguing Essential Equivalence Between First-Order Logic Programs (YL), pp. 1–18.

PADL-2019-HippenL #automation #set #source code

Automatic Program Rewriting in Non-Ground Answer Set Programs (NH, YL), pp. 19–36.

PADL-2019-KahramanE #personalisation #programming #set #using

Personalized Course Schedule Planning Using Answer Set Programming (MKK, EE0), pp. 37–45.

PADL-2019-PendharkarG #approach #natural language

An ASP Based Approach to Answering Questions for Natural Language Text (DP, GG), pp. 46–63.

PADL-2019-NguyenSP #generative #natural language #ontology

Natural Language Generation from Ontologies (VN, TCS, EP), pp. 64–81.

PADL-2019-Hanus #declarative #source code

Improving Residuation in Declarative Programs (MH), pp. 82–97.

PADL-2019-AriasC #composition #evaluation #incremental #logic programming #using

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP (JA, MC), pp. 98–114.

PADL-2019-Tarau #combinator #framework #proving #testing #theorem proving

A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers (PT), pp. 115–132.

PADL-2019-PietersS #performance #pipes and filters #re-engineering

Faster Coroutine Pipelines: A Reconstruction (RPP, TS), pp. 133–149.

PADL-2019-SerranoM

Classes of Arbitrary Kind (AS0, VCM), pp. 150–168.

PADL-2019-AndersenS #combinator #distributed #protocol

Distributed Protocol Combinators (KJAA, IS), pp. 169–186.

PADL-2019-PalmkvistB #domain-specific language

Creating Domain-Specific Languages by Composing Syntactical Constructs (VP, DB), pp. 187–203.

PADL-2019-SchwaabKHFPWH

Proof-Carrying Plans (CS, EK, AH, FF, RPAP, JBW, KH), pp. 204–220.

PADL-2019-Bock #clustering #execution #parallel #spreadsheet

Static Partitioning of Spreadsheets for Parallel Execution (AAB), pp. 221–237.