Practical aspects of declarative languages : second InternationalWorkshop, PADL 2000, Boston, MA, USA, January 17 18, 2000 : proceedings
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1753 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Practical aspects of declarative languages, second International Workshop, PADL 2000, Boston, MA, USA, January 2000, proceedings, Enrico Pontelli, Vítor Santos Costa (ed.), 2000, Berlin, Springer, 1 vol. (X-323 p.), Lecture notes in computer science, 3-540-66992-2 • Practical Aspects of Declarative Languages, Texte imprimé, 9783662186343 |
Obsah:
- 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).