Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Matthew Flatt

    1. School of Computing, University of Utah, Salt Lake City, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hai-Feng Guo

    1. Department of Computer Science, University of Nebraska, Omaha, 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 8324)

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

Included in the following conference series:

Conference proceedings info: PADL 2014.

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 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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. ℞CML: A Prescription for Safely Relaxing Synchrony

    • K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Pages 1-16

  3. Partial Type Signatures for Haskell

    • Thomas Winant, Dominique Devriese, Frank Piessens, Tom Schrijvers
    Pages 17-32

  4. The F# Computation Expression Zoo

    • Tomas Petricek, Don Syme
    Pages 33-48

  5. Abstract Modular Inference Systems and Solvers

    • Yuliya Lierler, Miroslaw Truszczynski
    Pages 49-64

  6. Sunroof: A Monadic DSL for Generating JavaScript

    • Jan Bracker, Andy Gill
    Pages 65-80

  7. Compiling DNA Strand Displacement Reactions Using a Functional Programming Language

    • Matthew R. Lakin, Andrew Phillips
    Pages 81-86

  8. Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems

    • Tran Cao Son, Enrico Pontelli, Tiep Le
    Pages 87-103

  9. Towards Modeling Morality Computationally with Logic Programming

    • Ari Saptawijaya, Luís Moniz Pereira
    Pages 104-119

  10. A Declarative Specification of Giant Number Arithmetic

    • Paul Tarau
    Pages 120-135

  11. Embedding Foreign Code

    • Robert Clifton-Everest, Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller
    Pages 136-151

  12. Exploring the Use of GPUs in Constraint Solving

    • Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli
    Pages 152-167

  13. On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs

    • Miguel Areias, Ricardo Rocha
    Pages 168-183

  14. Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces

    • Martin Elsman, Anders Schack-Nielsen
    Pages 184-199

  15. Expand: Towards an Extensible Pandoc System

    • Jacco Krijnen, Doaitse Swierstra, Marcos O. Viera
    Pages 200-215

  16. Generic Generic Programming

    • José Pedro Magalhães, Andres Löh
    Pages 216-231

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages, PADL 2014, held in SanDiego, CA, USA, in January 2014, co-located with POPL 2014, the 41st Symposium on Principles of Programming Languages. The 15 revised papers presented were carefully reviewed and selected from 27 submissions. They cover a wide range of topics related to logic and functional programing, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation.

Editors and Affiliations

  • School of Computing, University of Utah, Salt Lake City, USA

    Matthew Flatt

  • Department of Computer Science, University of Nebraska, Omaha, USA

    Hai-Feng Guo

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation