+612 9045 4394
 
CHECKOUT
Practical Aspects of Declarative Languages : First International Workshop, Padl'99, San Antonio, Texas, Usa, January 18-19, 1999, Proceedings - Gopal Gupta

Practical Aspects of Declarative Languages

First International Workshop, Padl'99, San Antonio, Texas, Usa, January 18-19, 1999, Proceedings

By: Gopal Gupta (Editor)

Paperback Published: 5th January 1999
ISBN: 9783540655275
Number Of Pages: 376

Share This Book:

Paperback

$135.51
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

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

Software Engineering
Automated Benchmarking of Functional Data Structuresp. 1
NP-spec: An Executable Specification Language for Solving All Problems in NPp. 16
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Programp. 31
Multi-agent Systems Development as a Software Engineering Enterprisep. 46
Innovative Applications I
From Functional Animation to Sprite-Based Displayp. 61
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinatorsp. 76
Lambda in Motion: Controlling Robots with Haskellp. 91
Implementation
CHAT: The Copy-Hybrid Approach to Tablingp. 106
The Influence of Parallel Computer Architectural Parameters on the Performance of Parallel Logic Programming Systemsp. 122
Or-Parallelism within Tablingp. 137
Declarative Query Processing
Mnesia - A Distributed Robust DBMS for Telecommunications Applicationsp. 152
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Languagep. 164
Implementing a Declarative String Query Language with String Restructuringp. 179
Systems Applications
Client-Side Web Scripting with HaskellScriptp. 196
MCORBA: A CORBA Binding for Mercuryp. 211
Analysis
Dead Code Elimination through Dependent Typesp. 228
Multiple Specialization of WAM Codep. 243
A Flexible Framework for Dynamic and Static Slicing of Logic Programsp. 259
Innovative Applications II
Applying Logic Programming to Derive Novel Functional Information of Genomesp. 275
An Application of Action Theory to the Space Shuttlep. 290
Developing a Declarative Rule Language for Applications in Product Configurationp. 305
Constraint Programming
University Timetabling Using Constraint Logic Programmingp. 320
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturingp. 335
Using Constraints in Local Proofs for CLP Debuggingp. 350
Declarative Languages and Software Engineering (Invited)
A Return to Elegance: The Reapplication of Declarative Notation to Software Designp. 360
ECLiPSe Declarative Specification and Scaleable Implementationp. 365
Author Indexp. 367
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540655275
ISBN-10: 3540655271
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 376
Published: 5th January 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.01
Weight (kg): 0.54