Practical Aspects of Declarative Languages

1. Front Matter

   Pages I-XIV

   PDF

2. Functional Programming

   1. Front Matter

      Pages 1-1

      PDF

   2. Probabilistic Functional Logic Programming

      • Sandra Dylus, Jan Christiansen, Finn Teegen

      Pages 3-19

   3. Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs

      • Florian Biermann, Wensheng Dou, Peter Sestoft

      Pages 20-35

   4. Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell

      • Gordon Stewart, Samuel Merten, Logan Leland

      Pages 36-52

   5. Hygienic Source-Code Generation Using Functors

      • Karl Crary

      Pages 53-60

3. Constraint Programming and Business Rules

   1. Front Matter

      Pages 61-61

      PDF

   2. 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

   3. An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic

      • Kritika Anand, Pavan Kumar Chittimalli, Ravindra Naik

      Pages 80-96

4. Prolog and Optimizations

   1. Front Matter

      Pages 97-97

      PDF

   2. Exploiting Term Hiding to Reduce Run-Time Checking Overhead

      • Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

      Pages 99-115

   3. On k-colored Lambda Terms and Their Skeletons

      • Paul Tarau

      Pages 116-131

5. Answer Set Programming

   1. Front Matter

      Pages 133-133

      PDF

   2. Optimizing Answer Set Computation via Heuristic-Based Decomposition

      • Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari

      Pages 135-151

   3. LoIDE: A Web-Based IDE for Logic Programming Preliminary Report

      • Stefano Germano, Francesco Calimeri, Eliana Palermiti

      Pages 152-160

   4. A REST-Based Development Framework for ASP: Tools and Application

      • Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri

      Pages 161-169

   5. Navigating Online Semantic Resources for Entity Set Expansion

      • Weronika T. Adrian, Marco Manna

      Pages 170-185

   6. Automatic Web Services Composition for Phylotastic

      • Thanh H. Nguyen, Tran Cao Son, Enrico Pontelli

      Pages 186-202

6. Back Matter

   Pages 203-203

   PDF

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. 

• Answer Set Programming
• Compilers And Interpreters
• Computer Algebra
• Constraint Programming
• Cycle Handling
• Declarative Programming
• Domain-specific Languages
• Functional Programming
• Haskell
• Logic Programming
• Probabilistic Logic Programming
• programming languages
• world wide web
• web services
• formal logic
• Hybrid Systems
• Knowledge Representation
• Language Implementation
• Satisfiability
• Type Inference

• Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

  Francesco Calimeri, Nicola Leone

• Computer Science Department, University of Texas at Dallas, Richardson, USA

  Kevin Hamlen

Policies and ethics