E-Book, Englisch, Band 2562, 414 Seiten, eBook
Dahl / Wadler Practical Aspects of Declarative Languages
Erscheinungsjahr 2003
ISBN: 978-3-540-36388-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings
E-Book, Englisch, Band 2562, 414 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-36388-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
