|
СТ |
Design and Correctness of Program Transformations Based on Control-Flow Analysis |
2001 |
Banerjee A., Heintze N., Riecke J. G. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
A Calculus for Compiling and Linking Classes |
2000 |
Fisher K., Reppy J., Riecke J. G. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Programming Language Semantics: The Description of Computational Structures |
1997 |
Riecke J. G. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
Fully Abstract Translations and Parametric Polymorphism |
1994 |
O Hearn P. W., Riecke J. G. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
СТ |
Extensions to Type Systems Can Preserve Operational Equivalences |
1994 |
Riecke J. G., Subrahmanyam R. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
