J. Hickey, A. Nogin, R. L. Constable, B. E. Aydemir, E. Barzilay, Y. Bryukhov, R. Eaton, A. Granicz, A. Kopylov, C. Kreitz, V. N. Krupski, L. Lorigo, S. Schmitt, C. Witty, and X. Yu. MetaPRL --- A modular logical environment. Accepted to the TPHOLs 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Building Reliable Compilers with a Formal Methods Framework - Nathaniel Gray Cristian Self-citation (Hickey Nogin) (Correct)
No context found.
J. Hickey, A. Nogin, R. L. Constable, B. E. Aydemir, E. Barzilay, Y. Bryukhov, R. Eaton, A. Granicz, A. Kopylov, C. Kreitz, V. N. Krupski, L. Lorigo, S. Schmitt, C. Witty, and X. Yu. MetaPRL --- A modular logical environment. Accepted to the TPHOLs 2003.
Information-Intensive Proof Technology - Constable (2003) Self-citation (Constable) (Correct)
No context found.
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, and Xin Yu. MetaPRL --- A modular logical environment. Accepted to the TPHOLs 2003.
Formal Compiler Implementation in a Logical Framework - Hickey, Nogin, Granicz.. (2003) Self-citation (Hickey Nogin Aydemir Granicz) (Correct)
No context found.
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, and Xin Yu. MetaPRL --- a modular logical environment. Submitted to the TPHOLs 2003.
Building Reliable Compilers with a Formal Methods Framework - Gray, Tapus, Nogin, Hickey (2003) Self-citation (Hickey Nogin) (Correct)
No context found.
J. Hickey, A. Nogin, R. L. Constable, B. E. Aydemir, E. Barzilay, Y. Bryukhov, R. Eaton, A. Granicz, A. Kopylov, C. Kreitz, V. N. Krupski, L. Lorigo, S. Schmitt, C. Witty, and X. Yu. MetaPRL --- A modular logical environment. Accepted to the TPHOLs 2003.
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
No context found.
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir N. Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, and Xin Yu. MetaPRL---A modular logical environment. In David Basin and Burkhart Wol#, editors, Proc. 16th Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC