СТ |
A Logic for Abstract Data Types as Existential Types |
1999 |
Poll E., Zwanenburg J. |
|
|
|
Lecture Notes in Computer Science |
21.04.1999 |
СТ |
A Logic for the Java Modeling Language JML |
2001 |
Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
СТ |
A Monad for Basic Java Semantics |
2000 |
Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
СТ |
A Type-Theoretic Memory Model for Verification of Sequential Java Programs |
2000 |
Van Den Berg J., Huisman M., Jacobs B., Poll E. |
|
|
|
Lecture Notes in Computer Science |
13.10.2000 |
СТ |
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 |
СТ |
FormalTechniques for Java-Like Programs |
2004 |
Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.09.2004 |
СТ |
Pure Type Systems with Definitions |
1994 |
Severi P., Poll E. |
|
|
|
Lecture Notes in Computer Science |
02.08.1994 |
СТ |
Reasoning about Card Tears and Transactions in Java Card |
2004 |
Hubbers E., Poll E. |
|
|
|
Lecture Notes in Computer Science |
16.04.2004 |