@InProceedings{Schulte:1997_1,
AUTHOR = {Schulte, Christian},
TITLE = {Oz Explorer: A Visual Constraint Programming Tool},
YEAR = {1997},
BOOKTITLE = {14th International Conference on Logic Programming (ICLP '97), June},
PAGES = {286-300},
EDITOR = {Naish, L.},
ADDRESS = {Leuven, Belgium},
PUBLISHER = {MIT Press},
URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/Explorer.ps.gz},
ABSTRACT = {This paper describes the Oz Explorer and its implementation. The Explorer is a visual constraint programming tool intended to support the development of constraint programs. It uses the search tree of a constraint problem as its central metaphor. Exploration and visualization of the search tree are user-driven and interactive. The constraints of any node in the tree are available first-class: predefined or user-defined procedures can be used to display or analyze them. The Explorer is a fast and memory efficient tool intended for the development of real-world constraint programs. The Explorer is implemented in Oz using first-class computation spaces. There is no fixed search strategy in Oz. Instead, first-class computation spaces allow to program search engines. The Explorer is one particular example of a user-guided search engine. The use of recomputation to trade space for time makes it possible to solve large real-world problems, which would use too much memory otherwise.},
ANNOTE = {COLIURL : Schulte:1997:OEV.pdf Schulte:1997:OEV.ps}
}
|
