Skip to main content
SpringerLink
Log in

Practical Aspects of Declarative Languages

4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Shriram Krishnamurthi

    1. Computer Science Department, Brown University, Providence, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. C. R. Ramakrishnan

    1. Department of Computer Science, SUNY at Stony Brook, Stony Brook, 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 2257)

Included in the following conference series:

Conference proceedings info: PADL 2002.

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

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Invited Talks

    1. Using a Declarative Language to Build an Experimental Analysis Tool

      • Catherine Meadows
      Pages 1-2

    2. How to Talk to Your Computer so that It Will Listen

      • Veronica Dahl
      Pages 3-8

    3. Single-Threaded Objects in ACL2

      • Robert S. Boyer, J. Strother Moore
      Pages 9-27

  3. Regular Papers

    1. Modeling Engineering Structures with Constrained Objects

      • Bharat Jayaraman, Pallavi Tambay
      Pages 28-46

    2. Compiler Construction in Higher Order Logic Programming

      • Chuck C. Liang
      Pages 47-63

    3. Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project

      • Olof Torgersson
      Pages 64-82

    4. Semantics-Based Filtering: Logic Programming’s Killer App

      • Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan et al.
      Pages 82-100

    5. Linear Scan Register Allocation in a High-Performance Erlang Compiler

      • Erik Johansson, Konstantinos Sagonas
      Pages 101-119

    6. Compiling Embedded Programs to Byte Code

      • Morten Rhiger
      Pages 120-136

    7. Typed Combinators for Generic Traversal

      • Ralf Lämmel, Joost Visser
      Pages 137-154

    8. Event-Driven FRP

      • Zhanyong Wan, Walid Taha, Paul Hudak
      Pages 155-172

    9. Adding Apples and Oranges

      • Martin Erwig, Margaret Burnett
      Pages 173-191

    10. WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

      • Peter Thiemann
      Pages 192-208

    11. A Better XML Parser through Functional Programming

      • Oleg Kiselyov
      Pages 209-224

    12. Functional Approach to Texture Generation

      • Jerzy Karczmarczuk
      Pages 225-242

    13. Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs

      • John P. Gallagher, Germán Puebla
      Pages 243-261

    14. A High-Level Generic Interface to External Programming Languages for ECLiPSe

      • Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer
      Pages 262-279

    15. A Debugging Scheme for Declarative Equation Based Modeling Languages

      • Peter Bunus, Peter Fritzson
      Pages 280-298

    16. Segment Order Preserving and Generational Garbage Collection for Prolog

      • Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen
      Pages 299-317
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been succe- fully applied to a wide variety of real-world situations including database m- agement, active networks, software engineering, and decision-support systems. New developments in theory and implementation expose fresh opportunities. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. These well-known questions include scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and imp- mentation of declarative systems, and in turn bene?t from this progress. The International Symposium on Practical Applications of Declarative L- guages (PADL) provides a forum for researchers, practitioners, and implementors of declarative languages to exchange ideas on current and novel application - eas and on the requirements for e?ective use of declarative systems. The fourth PADL symposium was held in Portland, Oregon, on January 19 and 20, 2002.

Editors and Affiliations

  • Computer Science Department, Brown University, Providence, USA

    Shriram Krishnamurthi

  • Department of Computer Science, SUNY at Stony Brook, Stony Brook, USA

    C. R. Ramakrishnan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation