default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd PADL 2000: Boston, MA, USA
- Enrico Pontelli, Vítor Santos Costa
:
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2
Functional Programming
- Mark Tullsen:
First Class Patterns. 1-15 - John Peterson, Valery Trifonov, Andrei Serjantov:
Parallel Functional Reactive Programming. 16-31 - Tyng-Ruey Chuang, Shin-Cheng Mu:
Out-of-Core Functional Programming with Type-Based Primitives. 32-46
Functional-Logic Programming
- Michael Hanus:
A Functional Logic Programming Approach to Graphical User Interfaces. 47-62 - Julio Mariño, Juan José Moreno-Navarro:
Using Static Analysis to Compile Non-sequential Functional Logic Programs. 63-80
Logic Programming
- Daniel Diaz, Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C. 81-92 - Bart Demoen, Konstantinos Sagonas:
Heap Garbage Collection in XSB: Practice and Experience. 93-108 - Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. 109-123 - Juan José Moreno-Navarro, Susana Muñoz-Hernández:
How to Incorporate Negation in a Prolog Compiler. 124-140
Innovative Applications I
- Salvador Abreu:
A Logic-Based Information System. 141-153 - Chris J. Hinde, Richard J. Reader, Kath Phelps:
HIPPO - A Declarative Graphical Modelling System. 154-168 - Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. 169-184
Constraint Programming and Constraint Solving
- Tee Yong Chew, Martin Henz, Ka Boon Ng:
A Toolkit for Constraint-Based Inference Engines. 185-199 - Timothy J. Hickey:
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving. 200-214 - Christian Schulte:
Programming Deep Concurrent Constraint Combinators. 215-229 - Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi:
Labeling and Partial Local Consistency for Soft Constraint Programming. 230-248
Systems Applications
- Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Graunke:
Transformation-by-Example for XML. 249-262 - Peter Thiemann:
Modeling HTML in Haskell. 263-277 - Ching-Long Yeh:
A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database. 278-292
Innovative Applications II
- Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza:
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. 293-307 - Gopal Gupta, Shameem F. Akhter:
Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs. 308-323
Invited Talks
- I. V. Ramakrishnan:
Current Trends in Logic Programming: Prospects and Promises. 324 - Peter Lee:
Production-Quality Proof-Carrying Code. 325
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-09 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
