|
СТ |
Existential Types for Imperative Languages |
2002 |
Grossman D. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Scalable Certification for Typed Assembly Language |
2001 |
Grossman D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
|
СТ |
Pricipals in Programming Languages: A Syntactic Proof Technique |
1999 |
Zdancewic S., Grossman D., Morrisett G. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Performance Testing a Large Finance Application |
1996 |
Grossman D., Mccabe C., Staton C., Bailey B., Frieder O., Roberts D. C. |
|
|
|
IEEE Software |
12.12.1996 |
