|
СТ |
Open Modules: Modular Reasoning About Advice |
2005 |
Aldrich J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
13.09.2005 |
|
СТ |
Ownership Domains: Separating Aliasing Policy from Mechanism |
2004 |
Aldrich J., Chambers C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
24.07.2004 |
|
СТ |
Language Support for Connector Abstractions |
2003 |
Aldrich J., Sazawal V., Chanbers C., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
23.09.2003 |
|
СТ |
Architectural Reasoning in ArchJava |
2002 |
Aldrich J., Chambers C., Notkin D. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs |
1999 |
Aldrich J., Chambers C., Sirer E. G., Eggers S. |
|
|
|
Lecture Notes in Computer Science |
19.10.1999 |
