СТ |
Typestate Verification: Abstraction Techniques and Complexity Results |
2003 |
Field J., Goyal D., Ramalingam G., Yahav E. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
СТ |
Slicing Class Hierarchies in C++ |
1996 |
Tip F., Choi J. -D., Field J., Ramalingam G. |
|
|
|
SIGPLAN Notices |
20.02.1997 |
СТ |
Identifying Procedural Structure in Global Programs |
1999 |
Field J., Ramalingam G. |
|
|
|
Software Engineering Notes |
02.11.1999 |
СТ |
Dynamic Dependence in Term Rewriting Systems and its Application to Program Slicing |
1994 |
Field J., Tip F. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
СТ |
A Complete Transformational Toolkit for Compilers |
1996 |
Bergstra J. A., Dinesh T. B., Field J., Heering J. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |