Francesco Calimeri, Kevin W. Hamlen, Nicola Leone
Proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages
PADL, 2018.

@proceedings{PADL-2018,
	doi           = "10.1007/978-3-319-73305-0",
	editor        = "Francesco Calimeri and Kevin W. Hamlen and Nicola Leone",
	isbn          = "['978-3-319-73304-3', '978-3-319-73305-0']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages}",
	volume        = 10702,
	year          = 2018,
}

Contents (13 items)

PADL-2018-DylusCT #functional #logic programming #probability

Probabilistic Functional Logic Programming (SD, JC, FT), pp. 3–19.

PADL-2018-BiermannDS #functional #higher-order #source code #spreadsheet

Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs (FB, WD, PS), pp. 20–35.

PADL-2018-StewartML #declarative #haskell #named

Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell (GS0, SM, LL), pp. 36–52.

PADL-2018-Crary #code generation #source code #using

Hygienic Source-Code Generation Using Functors - (Extended Abstract) (KC), pp. 53–60.

PADL-2018-KringsLKHH #satisfiability #smt

Three Is a Crowd: SAT, SMT and CLP on a Chessboard (SK, ML, PK, SH, MH), pp. 63–79.

PADL-2018-AnandCN #automation #consistency #detection #logic #nondeterminism #using

An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (KA, PKC, RN), pp. 80–96.

PADL-2018-StulovaMH #runtime

Exploiting Term Hiding to Reduce Run-Time Checking Overhead (NS, JFM, MVH), pp. 99–115.

PADL-2018-Tarau #on the #λ-calculus

On k-colored Lambda Terms and Their Skeletons (PT), pp. 116–131.

PADL-2018-CalimeriFPZ #composition #heuristic #optimisation #set

Optimizing Answer Set Computation via Heuristic-Based Decomposition (FC, DF, SP, JZ), pp. 135–151.

PADL-2018-GermanoCP #ide #logic programming #named

LoIDE: A Web-Based IDE for Logic Programming Preliminary Report (SG, FC, EP), pp. 152–160.

PADL-2018-CatalanoLRRV #development #framework #tool support

A REST-Based Development Framework for ASP: Tools and Application (GC, GL, KR, FR, PV), pp. 161–169.

PADL-2018-AdrianM #navigation #online #semantics #set

Navigating Online Semantic Resources for Entity Set Expansion (WTA, MM), pp. 170–185.

PADL-2018-NguyenSP #automation #composition #web #web service

Automatic Web Services Composition for Phylotastic (THN, TCS, EP), pp. 186–202.