Karl Crary and Susmit Sarkar. Foundational certified code in a metalogical framework. In Nineteenth International Conference on Automated Deduction, Miami, Florida, 2003. Extended version published as CMU technical report CMU-CS-03-108. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) Self-citation (Crary) (Correct)
No context found.
Karl Crary and Susmit Sarkar. Foundational certified code in a metalogical framework. In Nineteenth International Conference on Automated Deduction, Miami, Florida, 2003. Extended version published as CMU technical report CMU-CS-03-108.
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) Self-citation (Crary) (Correct)
No context found.
Karl Crary and Susmit Sarkar. Foundational certified code in a metalogical framework. In Nineteenth International Conference on Automated Deduction, Miami, Florida, 2003. Extended version published as CMU technical report CMU-CS-03-108.
Small proof witnesses for LF - Sarkar, Pientka, Crary (2005) Self-citation (Crary Sarkar) (Correct)
No context found.
Karl Crary and Susmit Sarkar. Foundational certified code in a metalogical framework. In 19th International Conference on Automated Deduction, Miami, Florida, USA, 2003. Extended version published as CMU technical report CMU-CS-03-108.
Mechanizing the Metatheory of Standard ML - Lee, Crary, Harper (2006) Self-citation (Crary) (Correct)
No context found.
Karl Crary and Susmit Sarkar. Foundational certified code in a metalogical framework. In Nineteenth International Conference on Automated Deduction, Miami, Florida, 2003. Extended version published as CMU technical report CMU-CS-03-108.
Mechanizing Language Definitions - Harper, Licata (2006) (Correct)
No context found.
Crary, Karl, & Sarkar, Susmit. (2003). Foundational certified code in a metalogical framework. International Conference on Automated Deduction.
Mechanically Verifying Correctness of CPS Compilation - Tian (2006) (Correct)
No context found.
Crary, K. & Sarkar, S. (2003), Foundational certified code in a metalogical framework., in `CADE', pp. 106--120.
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