Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Practical aspects of declarative languages
| Autor | Enrico Pontelli |
|---|---|
| Editorial | Springer |
| Fecha de publicación | February 3, 2000 |
| Idioma | inglés |
| Páginas | 323 |
| Formato | Paperback |
| ISBN-13 | 9783540669920 |
| ISBN-10 | 3540669922 |
| OCLC | 43287043 |
| LCCN | 00020529 |
| Número de Cutter |
P814p |
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>