Searching for authors named "Zhong Shao" – sorted by Relevance.
-
Typed Cross-Module Compilation
- Yale University Department of Computer Science Typed Cross-Module Compilation Zhong Shao Yale
- Cited by 31 (13 self) – Add To MetaCart
-
Transparent Modules with Fully Syntactic Signatures
- , France 0 1999 ACM l-58113-111.9/99/0009...$b.O0 Zhong Shao Dept. of Computer Science Yale University New
- Cited by 18 (4 self) – Add To MetaCart
-
Parameterized Signatures and Higher-Order Modules
- Parameterized Signatures and Higher-Order Modules Zhong Shao Dept. of Computer Science Yale
- Cited by 1 (0 self) – Add To MetaCart
-
Typed Common Intermediate Format
- -Specific Languages Santa Barbara, California, October 1997 Typed Common Intermediate Format Zhong Shao Yale
- Cited by 26 (6 self) – Add To MetaCart
-
Compiling Standard ML For Efficient Execution On Modern Machines
- COMPILING STANDARD ML FOR EFFICIENT EXECUTION ON MODERN MACHINES Zhong Shao A DISSERTATION
- Cited by 17 (3 self) – Add To MetaCart
-
Flexible representation analysis
- Yale University Department of Computer Science Flexible Representation Analysis Zhong Shao Dept
- Cited by 64 (14 self) – Add To MetaCart
-
An Overview of the FLINT/ML Compiler
- An Overview of the FLINT/ML Compiler Zhong Shao Dept. of Computer Science Yale University New
- Cited by 83 (15 self) – Add To MetaCart
-
Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination
- ○ 2005 ACM 1-59593-064-7/05/0009. . . $5.00. Xinyu Feng and Zhong Shao Department of Computer Science
- Cited by 7 (3 self) – Add To MetaCart
-
Optimal Type Lifting
- Optimal Type Lifting ? Bratin Saha and Zhong Shao Dept. of Computer Science Yale University New
- Cited by 12 (2 self) – Add To MetaCart
-
Algorithm-Independent Framework for Verifying Integer Constraints
- Algorithm-independent framework for verifying integer constraints ∗ David Teller † Zhong Shao
- Cited by 1 (0 self) – Add To MetaCart

