Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Description

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. Front Matter ....Pages I-XIV Front Matter ....Pages 1-1 Probabilistic Functional Logic Programming (Sandra Dylus, Jan Christiansen, Finn Teegen)....Pages 3-19 Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs (Florian Biermann, Wensheng Dou, Peter Sestoft)....Pages 20-35 Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell (Gordon Stewart, Samuel Merten, Logan Leland)....Pages 36-52 Hygienic Source-Code Generation Using Functors (Karl Crary)....Pages 53-60 Front Matter ....Pages 61-61 Three Is a Crowd: SAT, SMT and CLP on a Chessboard (Sebastian Krings, Michael Leuschel, Philipp Körner, Stefan Hallerstede, Miran Hasanagić)....Pages 63-79 An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic (Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik)....Pages 80-96 Front Matter ....Pages 97-97 Exploiting Term Hiding to Reduce Run-Time Checking Overhead (Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo)....Pages 99-115 On k-colored Lambda Terms and Their Skeletons (Paul Tarau)....Pages 116-131 Front Matter ....Pages 133-133 Optimizing Answer Set Computation via Heuristic-Based Decomposition (Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari)....Pages 135-151 LoIDE: A Web-Based IDE for Logic Programming Preliminary Report (Stefano Germano, Francesco Calimeri, Eliana Palermiti)....Pages 152-160 A REST-Based Development Framework for ASP: Tools and Application (Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri)....Pages 161-169 Navigating Online Semantic Resources for Entity Set Expansion (Weronika T. Adrian, Marco Manna)....Pages 170-185 Automatic Web Services Composition for Phylotastic (Thanh H. Nguyen, Tran Cao Son, Enrico Pontelli)....Pages 186-202 Back Matter ....Pages 203-203