СТ |
A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises |
1994 |
Verhoef C. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
СТ |
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories |
1999 |
Fokking W., Verhoef C. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
СТ |
Core Technologies for System Renovation |
1996 |
Van Den Brand M., Klint P., Verhoef C. |
|
|
|
Lecture Notes in Computer Science |
20.12.1996 |
П |
On the Register Operator |
1990 |
Verhoef C. |
|
|
Univ. Amsterdam |
|
07.06.1995 |
СТ |
Re-engineering Needs Generic Programming Language Technology |
1997 |
Van Den Brand M., Klint P., Verhoef C. |
|
|
|
SIGPLAN Notices |
09.04.1997 |
СТ |
Research Issues on the Renovation of Legacy systems |
1999 |
Van Deursen A., Klint P., Verhoef C. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |