Practical Aspects of Declarative Languages | Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
Enrico Pontelli (u. a.)
ISBN 10: 3540669922 ISBN 13: 9783540669920
Editore: Springer, 2000
Nuovi
Taschenbuch
Da
preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 5 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Practical Aspects of Declarative Languages | Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings | Enrico Pontelli (u. a.) | Taschenbuch | xii | Englisch | 2000 | Springer | EAN 9783540669920 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 101949605
Riassunto:
persweresubmittedinresponsetothecallforpapers.
Contenuti: Functional Programming.- First Class Patterns?.- Parallel Functional Reactive Programming.- Out-of-Core Functional Programming with Type-Based Primitives.- Functional-Logic Programming.- A Functional Logic Programming Approach to Graphical User Interfaces.- Using Static Analysis to Compile Non-sequential Functional Logic Programs?.- Logic Programming.- GNU Prolog: Beyond Compiling Prolog to C.- Heap Garbage Collection in XSB: Practice and Experience.- Implementation of a Linear Tabling Mechanism.- How to Incorporate Negation in a Prolog Compiler?.- Innovative Applications I.- A Logic-Based Information System.- HIPPO — A Declarative Graphical Modelling System.- Calculating a New Data Mining Algorithm for.- Constraint Programming and Constraint Solving.- A Toolkit for Constraint-Based Inference Engines.- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving.- Programming Deep Concurrent Constraint Combinators.- Labeling and Partial Local Consistency for Soft Constraint Programming.- Systems Applications.- Transformation-by-Example for XML.- Modeling HTML in Haskell.- A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database.- Innovative Applications II.- A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.- Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs.- Invited Talks.- Current Trends in Logic Programming: Prospects and Promises (Abstract).- Production-Quality Proof-Carrying Code (Abstract).
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Practical Aspects of Declarative Languages |...
Casa editrice: Springer
Data di pubblicazione: 2000
Legatura: Taschenbuch
Condizione: Neu