|
СТ |
Precision in Practice: A Type-Preserving Java Compiler |
2003 |
League C., Shao Z., Trifonov V. |
|
|
|
Lecture Notes in Computer Science |
11.04.2003 |
|
СТ |
Composite Model-Checking: Verification with Type-Specific Symbolic Representations |
2000 |
Bultan T., Gerber R., League C. |
|
|
|
ACM Trans. on Software Engineering and Methodology |
10.07.2000 |
|
СТ |
Representing Java Classes in a Typed Intermediate Language |
1999 |
League C., Shao Z., Trifonov V. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Implementing Typed Intermediate Languages |
1999 |
Shao Z., League C., Monnier S. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach |
1998 |
Bultan T., Gerber R., League C. |
|
|
|
Software Engineering Notes |
30.07.1998 |
