|
СТ |
Summarizing Procedures in Concurrent Programs |
2004 |
Qadeer S., Rajamani S. K., Rehof J. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
Conformance Checking for Models of Asynchronous Message Passing Software |
2002 |
Rajamani S. K., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
31.08.2002 |
|
СТ |
Estimating the Impact of Scalable Pointer Analysis on Optimization |
2001 |
Das M., Liblit B., Fahndrich M., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
A Behavioral Module System for the Pi-Calculus |
2001 |
Rajamani S. K., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
31.07.2001 |
|
СТ |
Type Elaboration and Subtype Completion for Java Bytecode |
2000 |
Knoblock T. B., Rehof J. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Constraint Automata and the Complexity of Recursive Subtype Entailment |
1998 |
Henglien F., Rehof J. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
