Search

Your search keyword '"Constable, Robert L."' showing total 31 results
Start Over Author "Constable, Robert L." Publication Type Books
31 results on '"Constable, Robert L."'

6. MetaPRL – A Modular Logical Environment

Author

Hickey, Jason, primary, Nogin, Aleksey, additional, Constable, Robert L., additional, Aydemir, Brian E., additional, Barzilay, Eli, additional, Bryukhov, Yegor, additional, Eaton, Richard, additional, Granicz, Adam, additional, Kopylov, Alexei, additional, Kreitz, Christoph, additional, Krupski, Vladimir N., additional, Lorigo, Lori, additional, Schmitt, Stephan, additional, Witty, Carl, additional, and Yu, Xin, additional

Published
2003
Full Text
View/download PDF

29. The Nuprl Open Logical Environment.

Author

McAllester, David, Allen, Stuart F., Constable, Robert L., Eaton, Rich, Kreitz, Christoph, and Lorigo, Lori

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. [ABSTRACT FROM AUTHOR]

Published
2000
Full Text
View/download PDF

31. Formal theories and software systems: Fundamental connections between Computer Science and Logic.

Author

Goos, G., Hartmanis, J., Bensoussan, A., Verjus, J.-P., and Constable, Robert L.

Abstract

A formal Theory of Logics is sketched using concepts from a modern proof development system (like Nuprl, Coq or other such software systems). The Theory can be applied to understanding these software systems, and the application suggests a design principle called the theories-as-systems notion. Applications of the Theory to automated reasoning have led to an empirical study of the notion of obvious inference. Experimental results are cited to explain key constants of a scientific theory of obvious inference. The constants appear in what is called here the deBruijn equation. [ABSTRACT FROM AUTHOR]

Published
1992
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results