Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Francesco Calimeri

    1. Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Kevin Hamlen

    1. Computer Science Department, University of Texas at Dallas, Richardson, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nicola Leone

    1. Department of Mathematics and Computer Science, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10702)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 44.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 60.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Functional Programming

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

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. 

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation