|
СТ |
Aliasing, Confinement, and Ownership in Object-Oriented Programming |
2004 |
Clarke D., Drossopoulou S., Noble J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.09.2004 |
|
СТ |
Flexible Models for Dynamic Linking |
2003 |
Drossopoulou S., Lagorio G., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
Formal Techniques for Java-like Programs |
2002 |
Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.01.2003 |
|
СТ |
An Abstract Model of Java Dynamic Linking and Loading |
2001 |
Drossopoulou S. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
|
СТ |
Formal Tecniques for Java Programs |
2000 |
Drossopoulou S., Eisenbach S., Jacobs B., Leavens G., Muller P., Poetzsch-Heffter A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
Describing the Semantics of Java and Proving Type Soundness |
1999 |
Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
What is Java Binary Compatibility? |
1998 |
Drossopoulou S., Wragg D., Eisenbach S. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Java is Type Safe - Probably |
1997 |
Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
|
СТ |
Language and Architecture Paradigms as Object Classes: A Unified Approach Towards Multiparadigm Progarmming |
1994 |
Spinellis D., Drossopoulou S., Eisenbach S. |
|
|
|
Lecture Notes in Computer Science |
31.03.1994 |
