Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings.

Veronica and Philip Wadler Dahl

ISBN 10: 3540003894 / ISBN 13: 9783540003892

Edité par Berlin Springer Verlag, 2002

A propos de cet article

Gebraucht - Gut Zustand: Gut, Mängelexemplar, X, 409 p. Also available online. About this book: This book constitutes the refereed proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, PADL 2003, held in New Orleans, LA, USA, in January 2003. The 23 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 57 submissions. All current aspects of declarative programming are addressed. Written for Researchers and professionals. N° de réf. du vendeur 14847

Détails bibliographiques

Titre : Practical Aspects of Declarative Languages: ...

Éditeur : Berlin Springer Verlag

Date d'édition : 2002

Reliure : Softcover

Etat : Gut

A propos de ce titre

Synopsis :

The Fifth International Symposium on Practical Aspects of Declarative L- guages (PADL 2003) was held in New Orleans on 13-14 January 2003. It was colocatedwiththe30thAnnualACMSymposiumonPrinciplesofProgramming Languages(POPL2003). We received 57 submissions, a record for PADL. One of the strengths of PADL is that it draws papers from both sides of the declarative divide, from boththefunctionalandlogicprogrammingcommunities.Ofthe57submissions, 25werefunctionaland32werelogical, withsomenotableoverlaps. The program committee was divided on the approach to take to the con- rence.Thosefromthelogicprogrammingcommunitypreferredtohaveparallel sessionsinordertoacceptmorepapers, thosefromthefunctionalprogramming communitypreferredtoavoidparallelsessionsthoughitmeantacceptingfewer papers. We decided to nd strength in diversity, and experiment with taking both paths. We accepted 8 papers on functional programming, each presented initsownslot, and15papersonlogicprogramming,10ofwhicharepresentedin parallelsessions.Wefeltthatpapersfrombothcommunitieswerecomparablein quality.Theratioof4hoursoffunctionaltalksto5hoursoflogictalksmatches theratioofsubmissions. WhilemostpaperssubmittedtoPADLaretraditionalresearchpapers, some weresubmittedasApplicationLettersorDeclarativePearls.Traditionalpapers maybejudgedonwhethertheypresentacrispnewresearchresult;Application Lettersmaybejudgedaccordingtotheinterestintheapplicationandthenovel useofdeclarativelanguages;andDeclarativePearlsmaybejudgedaccordingto theeleganceofthedevelopmentandtheclarityoftheexpression. This year PADL instituted a "Most Practical" paper award, for the paper that best exempli?ed the goals of PADL. The award went to "Data mining the yeast genome in a lazy functional language", Amanda Clare and Ross D. King, UniversityofWales, Aberystwyth, whichdescribesareal-wordapplication runningonmultiprocessors, drawingontechniquesfromboththefunctionaland logicprogrammingcommunities. Special thanks are due: to Shriram Krishnamurthi, Dave Tucker, and Paul Graunke of Brown University, for running the website of the PADL submission andreviewprocess(seeKrishnamurthi'sinvitedtalkinthisvolume);toMartina SharpofAvayaLabsandKimberlyVollofSimonFraserUniversity, forhelpwith preparingthisvolume;andtoGopalGuptaoftheUniversityofTexasatDallas, for serving as general chair. We thank Avaya Labs, Brown University, Simon FraserUniversity, Universit´ edeProvence, andtheUniversityofTexasatDallas fortheirsupport. Ourthankstotheprogramcommitteemembersandrefereesfortheirrev- wingandfortheiradvice.Finally, ourthankstoallthosewhosubmittedpapers toorparticipatedinPADL2003.