Practical Aspects of Declarative Languages
Subtitle: Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)
Contributors: Enrico Pontelli (Editor); Santos C. Vitor (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 3, 2000
Language: eng
Format: Paperback
Number of pages: 323
ISBN-13: 9783540669920
Subjects: Mathematical theory of computation; Programming languages; Programming languages (Electronic computers); General; Programming Language Semantics; Computers; Computers - Languages / Programming; Programming languages (Electro; Computer Books: Languages; Programming Languages - General; Programming - Software Development; Computers / Programming / Software Development; Computers / Programming Languages / General; Computers-Programming Languages - General; Medical-General; declarative programming languages; functional programming; functional-logic; Semantics; Congresses; Declarative programming
First sentence: A hotly debated issue in the language Haskell [HJW92] has been patterns.
Description: Practical Aspects of Declarative Languages: Second InternationalWorkshop, PADL 2000 Boston, MA, USA, January 17–18, 2000 Proceedings<br />Author: Enrico Pontelli, Vítor Santos Costa<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-66992-0<br /> DOI: 10.1007/3-540-46584-7<br /><br />Table of Contents:<p></p><ul><li>First Class Patterns?
</li><li>Parallel Functional Reactive Programming
</li><li>Out-of-Core Functional Programming with Type-Based Primitives
</li><li>A Functional Logic Programming Approach to Graphical User Interfaces
</li><li>Using Static Analysis to Compile Non-sequential Functional Logic Programs?
</li><li>GNU Prolog: Beyond Compiling Prolog to C
</li><li>Heap Garbage Collection in XSB: Practice and Experience
</li><li>Implementation of a Linear Tabling Mechanism
</li><li>How to Incorporate Negation in a Prolog Compiler?
</li><li>A Logic-Based Information System
</li><li>HIPPO — A Declarative Graphical Modelling System
</li><li>Calculating a New Data Mining Algorithm for
</li><li>A Toolkit for Constraint-Based Inference Engines
</li><li>CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving
</li><li>Programming Deep Concurrent Constraint Combinators
</li><li>Labeling and Partial Local Consistency for Soft Constraint Programming
</li><li>Transformation-by-Example for XML
</li><li>Modeling HTML in Haskell
</li><li>A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database
</li><li>A Hybrid Approach for Solving Large Scale Crew Scheduling Problems</li></ul>