|
СТ |
Bounded Model Checking of Pointer Programs |
2005 |
Charatonik W., Georgieva L., Maier P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.10.2005 |
|
СТ |
Paths vs. Trees in Set-based Program Analysis |
2000 |
Charatonik W., Podelski A., Talbot J. -M. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Directional Type Checking for Logic Programs: Beyond Discriminative Types |
2000 |
Charatonik W. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs |
1999 |
Podelski A., Charatonik W., Muller M. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
Directional Type Inference for Logic Programs |
1998 |
Charatonik W., Podelski A. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
Set Constraints in Some Equational Theories |
1994 |
Charatonik W. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
