Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings: 1551 (Lecture Notes in Computer Science, 1551) - Softcover

Softcover

ISBN 10: 3540655271 ISBN 13: 9783540655275

Publisher: Springer, 1999

Synopsis

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.

About this title

Synopsis

This book constitutes the refereed proceedings of the First International Workshop on Practical Aspects of Declarative Languages, PADL'99, held in San Antonio, Texas, USA in January 1999.The 24 revised full papers presented were carefully reviewed and selected from a total of 53 submissions; also included are abstracts of two invited talks. The papers are organized in topical sections on software engineering, innovative applications, implementation, declarative query processing, systems applications, analysis, constraint programming, and declarative languages and software engineering.

Edition details

• Publisher: Springer
• Publication date: 1999
• Language: English
• ISBN 10: 3540655271
• ISBN 13: 9783540655275
• Binding: Paperback
• Number of pages: 384
• Editor: Gupta Gopal