Practical Aspects of Declarative Languages : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

Pontelli, Enrico

ISBN 10: 3540669922 / ISBN 13: 9783540669920

Published by Springer 2000-01, 2000

About this Item

Seller Inventory # 6666-IUK-9783540669920

Bibliographic Details

• Title: Practical Aspects of Declarative Languages : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
• Publisher: Springer 2000-01
• Publication Date: 2000
• Language: English
• ISBN 10: 3540669922
• ISBN 13: 9783540669920
• Binding: PF
• Condition: New

About this title

Synopsis

This volumecontainsthepaperspresentedattheSecondWorkshoponthePr- tical Applications of Declarative Languages (PADL'00) held in Boston, MA, USA, January 17{18, 2000. PADL'00 was co-located with the 27th ACM C- ference on the Principles of ProgrammingLanguages(POPL'00). The event was organized by COMPULOG AMERICAS. Declarativelanguagesbuildonasoundtheoreticalbasisto provideattractive frameworksfor application development. Indeed, these languages havebeen s- cessfully applied to vastly di erent real-worldsituations, ranging from data base management to active networks to software engineering to decision support s- tems, to mention a few examples. One major strength of declarative languages lies in the way work on e cient implementation has allowed programmers to take advantage of their strong theoretical foundations. In fact, new devel- ments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a n- ber of interesting research issues arise. Well-known issues include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and bene t from progress in the theory and implementation of declarative systems. The goal of the International Workshop on Practical Aspects of Declarative Languages (PADL) series is to provide a forum where researchers, practiti- ers, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for eectiv e deployment of declarative systems. This volume contains the proceedings of the year 2000 workshop, held in Boston, Massachusetts, January 17{18, 2000. Thirty-six - persweresubmittedinresponsetothecallforpapers.