Searching for authors named Limin Jia – sorted by Relevance.
10 documents found, showing 1 through 10.
-
RECOMMENDED FOR ACCEPTANCE
- …LINEAR LOGIC AND IMPERATIVE PROGRAMMING LIMIN JIA A DISSERTATION PRESENTED TO THE FACULTY…
- Add To MetaCart
-
Linear logic, heap-shape patterns and imperative programming
- …Linear Logic, Heap-shape Patterns and Imperative Programming Abstract Limin Jia Princeton…
- Cited by 2 (2 self) – Add To MetaCart
-
ILC: A Foundation for Automated Reasoning About Pointer Programs
- …Abstract ILC: A Foundation for Automated Reasoning About Pointer Programs Limin Jia David Walker…
- Cited by 10 (2 self) – Add To MetaCart
-
Modal proofs as distributed programs
- …Modal Proofs As Distributed Programs ∗ Limin Jia David Walker Princeton University July, 2003…
- Cited by 17 (1 self) – Add To MetaCart
-
Modal proofs as distributed programs (extended abstract
- …Modal Proofs as Distributed Programs ⋆ (Extended Abstract) Limin Jia and David Walker Princeton…
- Cited by 13 (0 self) – Add To MetaCart
-
Functional Specifications for Archiving Distributed Data
- …Functional Specifications for Archiving Distributed Data Kenny Q. Zhu Princeton University Limin…
- Add To MetaCart
-
Certifying compilation for a language with stack allocation
- …Certifying Compilation for a Language with Stack Allocation Limin Jia Frances Spalding David…
- Cited by 12 (2 self) – Add To MetaCart
-
Reasoning about Hierarchical Storage
- … Hierarchical Storage Amal Ahmed Limin Jia David Walker Princeton University {amal…
- Cited by 20 (6 self) – Add To MetaCart
-
Evidence-based Audit
- …Evidence-based Audit Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic Abstract…
- Cited by 9 (0 self) – Add To MetaCart
-
Abstract Language Support for Processing Distributed Ad Hoc Data
- … Kathleen Fisher 2 Limin Jia 1 Yitzhak Mandelbaum 2 Vivek Pai 1 David Walker 1 The term ad hoc data refers…
- Add To MetaCart
Showing 1 through 10.
