-
TR-671-03 -
Modal Proofs As Distributed Programs
(2003-08-00)
Jia, Limin / Walker, David
-
TR-724-05 -
Certifying Compilation for a Language with Stack Allocation
(2005-03-00)
Glew, Neal / Spalding, Frances / Jia, Limin / Walker, David
-
TR-738-05 -
A Foundation for Automated Reasoning About Pointer Programs
(2005-10-00)
Jia, Limin / Walker, David
-
TR-762-06 -
Linear Logic, Heap-shape Patterns and Imperative Programming
(2006-07-00)
Jia, Limin / Walker, David
-
TR-826-08 -
Language Support for Processing Ad Hoc Data
(2008-07-00)
Jia, Limin / Pai, Vivek / Walker, David / Dantas, Daniel S. / Zhu, Kenny Q. / Fisher, Kathleen / Mandelbaum, Yitzhak