|
СТ |
Precise Analysis of String Expressions |
2003 |
Christensen A. S., Moller A., Schwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
A Type System for Dynamic Web Documents |
2000 |
Sandholm A., Schwartzbach M. I. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Compile-Time Debugging of C Programs Working on Trees |
2000 |
Elgaard J., Moller A., Schwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
A Domain-Specific Language for Regular Sets of Strings and Trees |
1999 |
Klarlund N., Schwartzbach M. I. |
|
|
|
IEEE Trans. on Software Engineering |
29.10.1999 |
|
СТ |
Automatic Verification of Pointer Programs using Monadic Second-Order Logic |
1997 |
Jensen J. L., Jorgensen M. E., Klarlund N., Schwartzbach M. I. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
|
СТ |
Type Inference of SELF Analysis of Object with Dynamic and Multiple Inheritance |
1993 |
Agesen O., Palsberg J., Schwartzbach M. I. |
|
|
|
Lecture Notes in Computer Science |
15.09.1993 |
