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.
Author(s): Graeme E. Moss, Colin Runciman (auth.), Gopal Gupta (eds.)
Series: Lecture Notes in Computer Science 1551
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 376
Tags: Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics)
Automated Benchmarking of Functional Data Structures....Pages 1-15
np-spec : An Executable Specification Language for Solving All Problems in NP....Pages 16-30
Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program....Pages 31-45
Multi-agent Systems Development as a Software Engineering Enterprise....Pages 46-60
From Functional Animation to Sprite-Based Display....Pages 61-75
Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators....Pages 76-90
Lambda in Motion: Controlling Robots with Haskell....Pages 91-105
CHAT: The Copy-Hybrid Approach to Tabling....Pages 106-121
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems....Pages 122-136
Or-Parallelism within Tabling....Pages 137-151
Mnesia — A Distributed Robust DBMS for Telecommunications Applications....Pages 152-163
An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language....Pages 164-178
Implementing a Declarative String Query Language with String Restructuring....Pages 179-195
Client-Side Web Scripting with HaskellScript....Pages 196-210
MCORBA: A CORBA Binding for Mercury....Pages 211-227
Dead Code Elimination through Dependent Types....Pages 228-242
Multiple Specialization of WAM Code....Pages 243-258
A Flexible Framework for Dynamic and Static Slicing of Logic Programs....Pages 259-274
Applying Logic Programming to Derive Novel Functional Information of Genomes....Pages 275-289
An Application of Action Theory to the Space Shuttle....Pages 290-304
Developing a Declarative Rule Language for Applications in Product Configuration....Pages 305-319
University Timetabling Using Constraint Logic Programming....Pages 320-334
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing....Pages 335-349
Using Constraints in Local Proofs for CLP Debugging....Pages 350-359
A Return to Elegance: The Reapplication of Declarative Notation to Software Design....Pages 360-364
ECLiPSe: Declarative Specification and Scaleable Implementation....Pages 365-366
