Practical aspects of declarative languages : second international workshop, PADL 2000, Boston, MA, USA, January 2000 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000.
|
| Series: | Lecture notes in computer science ;
1753. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- First class patterns / M. Tullsen
- Parallel functional reactive programming / J. Peterson, V. Trifonov, and A. Serjantov
- Out-of-core functional programming with type-based primitives / T.-R. Chuang and S.-C. Mu
- A functional logic programming approach to graphical user interfaces / M. Hanus
- Using static analysis to compile non-sequential functional logic programs / J. Mariño and J.J. Moreno-Navarro
- GNU Prolog : beyond compiling Prolog to C / D. Diaz and P. Codognet
- Heap garbage collection in XSB : practice and experience / B. Demoen and K. Sagonas
- Implementation of a linear tabling mechanism / N.-F. Zhou ... [et al.]
- How to incorporate negation in a Prolog compiler / J.J. Moreno-Navarro and S. Muñoz-Hernández
- A logic-based information system / S.P. Abreu
- HIPPO : a declarative graphical modeling system / C.J. Hinde, R.J. Reader, and K. Phelps
- Calculating a new data mining algorithm for market basket analysis / Z. Hu, W.-N. Chin, and M. Takeichi
- A toolkit for constraint-based inference engines / T.Y. Chew, M. Henz, and K.B. Ng
- CLIP : a CLP (intervals) dialect for metalevel constraint solving / T.J. Hickey
- Programming deep concurrent constraint combinators / C. Schulte
- Labeling and partial local consistency for soft constraint programming / S. Bistarelli ... [et al.]
- Transformation-by-example for XML / S. Krishnamurthi, K.E. Gray, and P.T. Graunke
- Modeling HTML in Haskell / P. Thiemann
- A logic programming approach to supporting the entries of XML documents in an object database / C.-L. Yeh
- A hybrid approach for solving large scale crew scheduling problems / T.H. Yunes, A.V. Moura, and C.C. de Souza
- Knowledgesheet : a graphical spreadsheet interface for interactively developing a class of constraint programs / G. Gupta and S.F. Akhter
- Current trends in logic programming : prospects and promises / I.V. Ramakrishnan
- Production-quality proof-carrying code / P. Lee.