Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Ekaterina Komendantskaya

    1. Heriot-Watt University, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Yanhong Annie Liu

    1. Stony Brook University, New York, USA

    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 12007)

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

Included in the following conference series:

Conference proceedings info: PADL 2020.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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 (14 papers)

  1. Front Matter

    Pages i-xxvi
    Download chapter PDF

  2. Logical Engines and Applications

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Interactive Text Graph Mining with a Prolog-based Dialog Engine

      • Paul Tarau, Eduardo Blanco
      Pages 3-19

    3. Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming

      • Sheung Chi Chan, James Cheney
      Pages 20-36

    4. On Repairing Web Services Workflows

      • Thanh H. Nguyen, Enrico Pontelli, Tran Cao Son
      Pages 37-53

  3. Answer Set Programming Systems

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. AQuA: ASP-Based Visual Question Answering

      • Kinjal Basu, Farhad Shakerin, Gopal Gupta
      Pages 57-72

    3. Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report

      • Alex Brik, Jeffrey Xu
      Pages 73-81

    4. VRASP: A Virtual Reality Environment for Learning Answer Set Programming

      • Vinh T. Nguyen, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy Dang
      Pages 82-91

  4. Memory and Real-Time in Functional Programming

    1. Front Matter

      Pages 93-93
      Download chapter PDF

    2. On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML

      • Martin Elsman, Niels Hallenberg
      Pages 95-112

    3. RTMLton: An SML Runtime for Real-Time Systems

      • Bhargav Shivkumar, Jeffrey Murphy, Lukasz Ziarek
      Pages 113-130

    4. A Timed IO Monad

      • David Janin
      Pages 131-147

  5. Reasoning and Efficient Implementation

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Exploiting Database Management Systems and Treewidth for Counting

      • Johannes K. Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
      Pages 151-167

    3. Whitebox Induction of Default Rules Using High-Utility Itemset Mining

      • Farhad Shakerin, Gopal Gupta
      Pages 168-176

  6. Small Languages and Implementation

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. Explanations for Dynamic Programming

      • Martin Erwig, Prashant Kumar, Alan Fern
      Pages 179-195

    3. A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams

      • Johannes Eriksson, Masoumeh Parsa
      Pages 196-212

    4. Variability-Aware Datalog

      • Ramy Shahin, Marsha Chechik
      Pages 213-221
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.

The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.

Editors and Affiliations

  • Heriot-Watt University, Edinburgh, UK

    Ekaterina Komendantskaya

  • Stony Brook University, New York, USA

    Yanhong Annie Liu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation