Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Gopal Gupta

    1. Department of Computer Science, New Mexico State University, Las Cruces, 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 1551)

Included in the following conference series:

Conference proceedings info: PADL 1999.

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

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Software Engineering

    1. Automated Benchmarking of Functional Data Structures

      • Graeme E. Moss, Colin Runciman
      Pages 1-15

    2. np-spec: An Executable Specification Language for Solving All Problems in NP

      • Marco Cadoli, Luigi Palopoli, Andrea Schaerf, Domenico Vasile
      Pages 16-30

    3. Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program

      • Patricio Letelier, Pedro Sánchez, Isidro Ramos
      Pages 31-45

    4. Multi-agent Systems Development as a Software Engineering Enterprise

      • Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
      Pages 46-60

  3. Innovative Applications I

    1. From Functional Animation to Sprite-Based Display

      • Conal Elliott
      Pages 61-75

    2. Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators

      • Wolfram Kahl
      Pages 76-90

    3. Lambda in Motion: Controlling Robots with Haskell

      • John Peterson, Paul Hudak, Conal Elliott
      Pages 91-105

  4. Implementation

    1. CHAT: The Copy-Hybrid Approach to Tabling

      • Bart Demoen, Konstantinos Sagonas
      Pages 106-121

    2. The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems

      • Marcio G. Silva, Inês C. Dutra, Ricardo Bianchini, Vítor Santos Costa
      Pages 122-136

    3. Or-Parallelism within Tabling

      • Ricardo Rocha, Fernando Silva, Vítor Santos Costa
      Pages 137-151

  5. Declarative Query Processing

    1. Mnesia — A Distributed Robust DBMS for Telecommunications Applications

      • HÃ¥kan Mattsson, Hans Nilsson, Claes Wikström
      Pages 152-163

    2. An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language

      • Babu Siddabathuni, Suzanne W. Dietrich, Susan D. Urban
      Pages 164-178

    3. Implementing a Declarative String Query Language with String Restructuring

      • Raul Hakli, Matti Nykänen, Hellis Tamm, Esko Ukkonen
      Pages 179-195

  6. Systems Applications

    1. Client-Side Web Scripting with HaskellScript

      • Erik Meijer, Daan Leijen, James Hook
      Pages 196-210

    2. MCORBA: A CORBA Binding for Mercury

      • David Jeffery, Tyson Dowd, Zoltan Somogyi
      Pages 211-227

  7. Analysis

    1. Dead Code Elimination through Dependent Types

      • Hongwei Xi
      Pages 228-242

    2. Multiple Specialization of WAM Code

      • Michel Ferreira, Luís Damas
      Pages 243-258

    3. A Flexible Framework for Dynamic and Static Slicing of Logic Programs

      • Wamberto Weber Vasconcelos
      Pages 259-274

  8. Innovative Applications II

    1. Applying Logic Programming to Derive Novel Functional Information of Genomes

      • Arvind K. Bansal, Peer Bork
      Pages 275-289
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.

Editors and Affiliations

  • Department of Computer Science, New Mexico State University, Las Cruces, USA

    Gopal Gupta

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation