|
СТ |
A Comparative Evaluation of Parallel Garbage Collector Implementations |
2003 |
Attanasio C. R., Bacon D. F., Cocchi A., Smith S. |
|
|
|
Lecture Notes in Computer Science |
18.06.2003 |
|
СТ |
Modular Internet Programming with Cells |
2002 |
Rinat R., Smith S. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
A Systematic Approach to Static Access Control |
2001 |
Pottier F., Skalka C., Smith S. |
|
|
|
Lecture Notes in Computer Science |
27.04.2001 |
|
СТ |
Implementing Jalapeno in Java |
1999 |
Alpern B., Attanasio C. R., Barton J. J., Cocchi A., Hummel S. F., Lieber D., Ngo T., Mergen M., Shepherd J. C., Smith S. |
|
|
|
SIGPLAN Notices |
21.12.1999 |
|
СТ |
Sound Polymorphic Type Inference for Objects |
1995 |
Eifrig J., Smith S., Trifonov V. |
|
|
|
SIGPLANE Notices |
26.12.1995 |
|
СТ |
Object-Oriented Programming for Embedded Systems |
1995 |
Maclean S., Smith S. |
|
|
|
SIGPLAN Notices |
20.11.1995 |
|
СТ |
Application of OOP Type Theory: State, Decidability, Integration |
1994 |
Eifrig J., Smith S., Trifonov V., Zwarico A. |
|
|
|
SIGPLAN Notices |
22.12.1994 |
|
СТ |
A Theory of Classes for a Functional Language with Effects |
1993 |
Honsell F., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
|
СТ |
Towards a Theory of Actor Computation |
1992 |
Agha G., Mason I. A., Smith S., Talcott C. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
