Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Pontelli, Enrico (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Vitor, Santos C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1753
• Θέματα: 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.

Πίνακας περιεχομένων:

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