Download:
|
by Donald A. Ziff, Keith Waclena, Stephen P. Spackman
http://www.lib.uchicago.edu/~keith/cils-tr/tr92-02.ps
Add To MetaCart
Abstract:
This paper describes a new implementation technique for index-assisted searching in a textual database: the use of a lazy functional programming language to describe high-level search strategies, combined with low-level implementation languages (such as C) for primitive index and text access. Our implementation, in the concrete context of the ARTFL database, demonstrates the feasibility of this approach. Some of its advantages and disadvantages are described.
Citations
|
369
|
Programming Be Liberated from von Neumann Style? A Functional Style and its Algebra of Programs
– Backus
- 1978
|
|
183
|
The lambda calculus, its syntax and semantics. Revised edition edn
– Barendregt
- 1984
|
|
79
|
Computing in systems described by equations
– O'Donnell
- 1977
|
|
68
|
CONS should not evaluate its arguments
– Friedman, Wise
- 1976
|
|
58
|
A lazy evaluator
– Henderson, Jr
- 1976
|
|
30
|
Practical minimal perfect hash functions for large databases
– Fox, Heath, et al.
- 1992
|
|
28
|
Program Transformation
– Darlington
- 1982
|
|
23
|
The Chalmers lazy-ML compiler
– Augustsson, Johnsson
- 1989
|
|
12
|
A textual object management system
– Deerwester, Waclena, et al.
- 1992
|
|
8
|
Improved techniques for processing queries in full-text systems
– Choueka, Fraenkel, et al.
- 1987
|
|
4
|
The alpha-beta algorithm: An exercise in program transformation
– Bird, Hughes
- 1987
|
|
4
|
Output driven interpretation of recursive programs, or writing creates and destroys data structures
– Friedman, Wise
- 1976
|
|
3
|
The ARTFL Data Compression Project
– Bookstein, Klein, et al.
- 1991
|
|
2
|
a small interactive functional system
– Small
- 1985
|
|
2
|
An architecture for full text retrieval systems
– Deerwester, Ziff, et al.
- 1990
|
|
2
|
A large natural language data base. Educom
– Morrissey, Vigna
- 1983
|
