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

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

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

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.