Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Jason Hickey
41 results
Formal Compiler Implementation in a Logical Framework
| cite »
by Jason Hickey, Aleksey Nogin
2003
MetaPRL -- A Modular Logical Environment
| cite »
by Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian Aydemir, Eli Barzilay, Lori Lorigo
2003
The MetaPRL Logical Programming Environment
| cite »
by Jason Hickey
2001
Caltech Computer Science
by Jason Hickey
November 06, 2000
Fast Tactic-Based Theorem Proving
| cite »
by Jason Hickey, Aleksey Nogin
2000
Nuprl's Class Theory and Its Applications
| cite »
by Robert L. Constable, Jason Hickey
2000
The Horus and Ensemble Projects: Accomplishments and Limitations
| cite »
by Kenneth Birman, Robert L. Constable, Mark Hayden, Jason Hickey, Christoph Kreitz, Robbert van Renesse, Ohad Rodeh, Werner Vogels
2000
An Object-Oriented Approach to Verifying Group Communication Systems
| cite »
by Mark Bickford, Jason Hickey
1999
Building Reliable, High-Performance Communication Systems from Components
| cite »
by Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth Birman, Robert L. Constable
1999
Fault-Tolerant Distributed Theorem Proving
| cite »
by Jason Hickey
1999
Specifications and Proofs for Ensemble Layers
| cite »
by Jason Hickey, Nancy Lynch, Robbert van Renesse
1999
The Current Projects of the MetaPRL Group
by Aleksey Nogin, Jason Hickey
April 26, 1999
A Programming Environment for Building Reliable High Performance Systems
by Jason Hickey
February 15, 1999
On Modeling Ensemble
by Robert L. Constable, Jason Hickey
October 27, 1998
A Proof Environment for the Development of Group Communication Systems
| cite »
by Christoph Kreitz, Mark Hayden, Jason Hickey
1998
Logical Programming Environments
by Jason Hickey
March 03, 1998
Nuprl-Light: An Implementation Framework for Higher-Order Logics
| cite »
by Jason Hickey
1997
A Semantics of Objects in Type Theory
| cite »
by Jason Hickey
1997
Discussion of Issues in Logic Library Design
by Robert L. Constable, Jason Hickey, Stuart F. Allen, Richard Eaton
March 03, 1997
Modules and Libraries
by Jason Hickey
February 18, 1997
Nuprl Tutorial
by Jason Hickey
February 02, 1997
Formal Objects in Type Theory
by Jason Hickey
1996-1997
Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997
Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997
Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997
Nuprl-Light
by Jason Hickey, Jason Hickey
1996-1997
Sharing Formal Mathematics and Programming
by Jason Hickey
1996-1997
Formal Objects in Type Theory Using Very Dependent Types
| cite »
by Jason Hickey
1996
Formal Module Systems and Nuprl-Light: A Programmer's Perspective
by Jason Hickey
February 13, 1996
Verifying HORUS in Nuprl
by Jason Hickey
November 28, 1995
Formal Abstract Data Types and Inheritance
by Jason Hickey
October 31, 1995
Formal Modules (Abstract Data Types) and Object Oriented Programming
by Jason Hickey
1995-1996
HORUS Verification Effort
by Jason Hickey
1995-1996
Square-Root Verification
by Jason Hickey
May 10, 1995
The Ultimate Programming Machine II: Very Dependent Types
by Jason Hickey
November 08, 1994
The Ultimate Programming Machine
by Jason Hickey
October 25, 1994
Very Dependent Function Space
by Jason Hickey
1994-1995
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
| cite »
by John O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard
1994
Formalizing the Theory Concept in Nuprl
by Jason Hickey
March 15, 1994
Formalizing the Theory Mechanism in NuPRL
by Jason Hickey
March 15, 1994
Abstract Programming in Nuprl
by Jason Hickey
November 23, 1993