Pontelli / Vitor | Practical Aspects of Declarative Languages | E-Book | sack.de
E-Book

E-Book, Englisch, Band 1753, 323 Seiten, eBook

Reihe: Lecture Notes in Computer Science

Pontelli / Vitor Practical Aspects of Declarative Languages

Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-46584-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings

E-Book, Englisch, Band 1753, 323 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-46584-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



Pontelli / Vitor Practical Aspects of Declarative Languages jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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).



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.