Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / [electronic resource] :
edited by Enrico Pontelli, Santos C. Vitor.
- 1st ed. 2000.
- XII, 323 p. online resource.
- Lecture Notes in Computer Science, 1753 1611-3349 ; .
- Lecture Notes in Computer Science, 1753 .
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).
9783540465843
10.1007/3-540-46584-7 doi
Computer science.
Compilers (Computer programs).
Computer programming.
Software engineering.
Artificial intelligence.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Artificial Intelligence.
QA75.5-76.95
004.0151
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).
9783540465843
10.1007/3-540-46584-7 doi
Computer science.
Compilers (Computer programs).
Computer programming.
Software engineering.
Artificial intelligence.
Theory of Computation.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Artificial Intelligence.
QA75.5-76.95
004.0151