Practical aspects of declarative languages

By Enrico Pontelli

Subjects: Congresses, Logic programming, Semantics, Programming languages (electronic computers), Programming languages (Electronic computers), Artificial intelligence, Software engineering, Declarative programming, Prolog (computer program language), Computer science, Functional programming (computer science), Logic design

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>