The Nuprl Open Logical Environment (2000)
Cached
Download Links
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
by
S. F. Allen
,
R. L. Constable
,
R. Eaton
,
C. Kreitz
,
L. Lorigo
| Citations: | 42 - 15 self |
BibTeX
@INPROCEEDINGS{Allen00thenuprl,
author = {S. F. Allen and R. L. Constable and R. Eaton and C. Kreitz and L. Lorigo},
title = {The Nuprl Open Logical Environment},
booktitle = {},
year = {2000},
pages = {170--176},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal tools. This paper gives a brief overview of the system and the objectives that are addressed by its new architecture.
