MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Guodong Li" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

A proof-producing software compiler for a subset of higher order logic. Available at http: //www.cs.utah.edu/ ∼ slind/sw-compiler
by Konrad Slind, Guodong Li, Scott Owens — 2006
…A Proof-Producing Software Compiler for a Subset of Higher Order Logic Konrad Slind, Guodong Li…
Cited by 3 (0 self) – Add To MetaCart

Structure of a proof-producing compiler for a subset of higher order logic
by Guodong Li, Scott Owens, Konrad Slind — 2007 — 16th European Symposium on Programming (ESOP’07
… Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic Guodong Li, Scott…
Cited by 1 (1 self) – Add To MetaCart

Functional correctness proofs of encryption algorithms
by Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang — 2005 — In Proceedings of 12th Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), number 3835 in LNAI
…Functional Correctness Proofs of Encryption Algorithms Jianjun Duan 1 , Joe Hurd 2 , Guodong Li 1…
Cited by 1 (1 self) – Add To MetaCart

2005, ‘Teaching a HOL Course: Experience Report
by Konrad Slind, Steven Barrus, Seungkeol Choe, Chris Condrat, Jianjun Duan, Sivaram Gopalakrishnan, Aaron Knoll, Hiro Kuwahara, Guodong Li, Yu Yang, Junxing Zhang — Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
… Condrat, Jianjun Duan, Sivaram Gopalakrishnan, Aaron Knoll, Hiro Kuwahara, Guodong Li, Scott Little, Lei…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB