Practical Aspects of Declarative Languages [[electronic resource] ] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Practical Aspects of Declarative Languages [[electronic resource] ] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Edizione: | 1st ed. 2000. |
| Descrizione fisica: | 1 online resource (XII, 323 p.) |
| Disciplina: | 005.13/1 |
| Soggetto topico: | Computers |
| Programming languages (Electronic computers) | |
| Computer programming | |
| Computer logic | |
| Software engineering | |
| Artificial intelligence | |
| Theory of Computation | |
| Programming Languages, Compilers, Interpreters | |
| Programming Techniques | |
| Logics and Meanings of Programs | |
| Software Engineering | |
| Artificial Intelligence | |
| Persona (resp. second.): | PontelliEnrico |
| VitorSantos C | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
| Nota di contenuto: | 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). |
| Titolo autorizzato: | Practical Aspects of Declarative Languages |
| ISBN: | 3-540-46584-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465591303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 1753