Technical Reports
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
5 matches found for Jia, Limin:
- Jia, Limin
- Modal Proofs As Distributed Programs, TR-671-03, August 2003
- Certifying Compilation for a Language with Stack Allocation, TR-724-05, March, 2005
- A Foundation for Automated Reasoning About Pointer Programs, TR-738-05, October 2005
- Linear Logic, Heap-shape Patterns and Imperative Programming , TR-762-06, July 2006
- Language Support for Processing Ad Hoc Data, TR-826-08, July 2008
