Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings: 3350 (Lecture Notes in Computer Science, 3350) - Softcover

Softcover

ISBN 10: 3540243623 ISBN 13: 9783540243625

Publisher: Springer, 2005

Synopsis

The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarativeconcepts,includingfunctional,logic,constraints,etc.Declarativel- guages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of di?erent real-world situations, including database management, active networks, software engineering, decision support systems, or music c- position; whereas new developments in theory and implementation have opened up new application areas. Inversely, applications often drive the progress in the theory and implementation of declarative systems, as well as bene?t from this progress. The 7th PADL Symposium was held in Long Beach, California on January 10-11, 2005, and was co-located with ACM's Principles of Programming L- guages(POPL).From36 submitted papers,the ProgramCommittee selected 17 papers for presentation at the symposium, based upon at least three reviews for eachpaper,providedfromProgramCommitteemembersandadditionalreferees. Two invited talks were presented at the conference: one by Norman R- sey (Harvard University) entitled "Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction"; and a second by Saumya Debray (University of Arizona) entitled "Code Compression." Following what has become a tradition in PADL symposia, the Program Committee selected one paper to receive the "Most Practical Paper" award. This year the paper judged the best in terms of practicality, originality, and claritywas"AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,"byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.

About this title

Product Description

Practical Aspects of Declarative Languages Constitutes the proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005. This work addresses various aspects of declarative programming including implementational issues and applications in areas such as database management, active networks, and more. Full description

Synopsis

This book constitutes the refereed proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005, held in Long Beach, CA, USA in January 2005.The 17 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 36 submissions. All current aspects of declarative programming are addressed including implementational issues and applications in areas such as database management, active networks, software engineering, decision support systems, and music composition.

Edition details

• Publisher: Springer
• Publication date: 2005
• ISBN 10: 3540243623
• ISBN 13: 9783540243625
• Binding: Paperback
• Language: English
• Number of pages: 280
• Editor: Hermenegildo Manuel, Cabeza Daniel