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

Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA…

byVeronica DahlEditorPhilip Wadler

Paperback | December 13, 2002

Pricing and Purchase Info

$151.49 online 
$164.50 list price save 7%
Earn 757 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA…Format:PaperbackDimensions:414 pages, 23.5 × 15.5 × 0.07 inPublished:December 13, 2002Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540003894

ISBN - 13:9783540003892

Look for similar items by category:

Reviews

Table of Contents

Invited Papers.- The Role of Declarative Languages in Mining Biological Databases.- The Continue Server (or, How I Administered PADL 2002 and 2003).- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.- Papers.- Data Mining the Yeast Genome in a Lazy Functional Language.- Non-monotonic Reasoning on Beowulf Platforms.- Datalog with Constraints: A Foundation for Trust Management Languages.- Web Programming with SMLserver.- An Integrated Information System Powered by Prolog.- JMatch: Iterable Abstract Pattern Matching for Java.- Sequence Quantification.- Roll: A Language for Specifying Die-Rolls.- Reconstructing the Evolutionary History of Indo-European Languages Using Answer Set Programming.- Multi-agent Reactive Systems.- ACTILOG: An Agent Activation Language.- Logic Programs for Querying Inconsistent Databases.- A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises.- A Logical Framework for Modelling eMAS.- SXSLT: Manipulation Language for XML.- Type-Based XML Processing in Logic Programming.- WAM Local Analysis.- Garbage Collection Algorithms for Java-Based Prolog Engines.- Solving Combinatorial Problems with a Constraint Functional Logic Language.- Logic Programs as Compact Denotations.- A Strafunski Application Letter.- Functional Hybrid Modeling.- Lambda Goes to Hollywood.