|
СТ |
Building Certified Libraries for PCC: Dynamic Storage Allocation |
2003 |
Yu D., Hamid N. A., Shao Z. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Precision in Practice: A Type-Preserving Java Compiler |
2003 |
League C., Shao Z., Trifonov V. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications |
2002 |
Musser D. R., Shao Z. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Representing Java Classes in a Typed Intermediate Language |
1999 |
League C., Shao Z., Trifonov V. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Transparent Modules with Fully Syntactic Signatures |
1999 |
Shao Z. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Typed Cross-Module Compilation |
1999 |
Shao Z. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Implementing Typed Intermediate Languages |
1999 |
Shao Z., League C., Monnier S. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Safe and Principled Language Interoperation |
1999 |
Trifonov V., Shao Z. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Type-Directed Continuation Allocation |
1998 |
Shao Z., Trifonov V. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
Optimal Type Lifting |
1998 |
Saha B., Shao Z. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
|
СТ |
Flexible Representation Analysis |
1997 |
Shao Z. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
A Type-Based Compiler for Standard ML |
1995 |
Shao Z., Appel A. W. |
|
|
|
ACM SIGPLAN Notices |
12.09.1995 |
|
СТ |
Unrolling Lists |
1994 |
Shao Z., Reppy J. H., Appel A. W. |
|
|
|
LISP Pointers |
16.01.1995 |
|
СТ |
Space-Efficient Closure Representations |
1994 |
Shao Z., Appel A. W. |
|
|
|
LISP Pointers |
13.01.1995 |
