Articoli correlati a Practical Aspects of Declarative Languages: 5th Internationa...

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

Wadler, Philip; Dahl, Veronica

 
9783540003892: Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings: 2562
Brossura
ISBN 10: 3540003894 ISBN 13: 9783540003892
Casa editrice: Springer, 2008

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540003894
ISBN 13 
9783540003892
Rilegatura
Copertina flessibile
Numero di pagine
424
Contatto del produttore
GPSR Kontakt
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Germania