|
СТ |
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models |
2001 |
Reus B., Wirsing M., Hennicker R. |
|
|
|
Lecture Notes in Computer Science |
05.05.2001 |
|
СТ |
Monadic Presentations of Lambda Terms Using Generalized Inductive Types |
1999 |
Altenkirch T., Reus B. |
|
|
|
Lecture Notes in Computer Science |
12.11.1999 |
|
СТ |
An Event-Based Structural Operational Semantics of Multi-Threaded Java |
1999 |
Cenciarelli P., Knapp A., Reus B., Wirsing M. |
|
|
|
Lecture Notes in Computer Science |
03.07.1999 |
|
СТ |
Verifying a Compiler Optimization for Multi-Threaded Java |
1998 |
Reus B., Knapp A., Cenciarelli P., Wirsing M. |
|
|
|
Lecture Notes in Computer Science |
07.05.1998 |
|
СТ |
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics |
1997 |
Cenciarelli P., Knapp A., Reus B., Wirsing M. |
|
|
|
9th Nordic Workshop on Programming Theory |
15.04.1998 |
|
СТ |
Verifying Properties of Module Construction in Type Theory |
1993 |
Reus B., Streicher T. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
|
СТ |
Implementing Higher-Order Functions in an Algebraic Specification Language with Narrowing |
1992 |
Reus B. |
|
|
|
Lecture Notes in Computer Science |
15.10.1992 |
