|
СТ |
An Overview of Semantics for the Validation of Numerical Programs |
2005 |
Martel M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.03.2005 |
|
СТ |
Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach |
2002 |
Martel M. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Partial Evaluation of Concurrent Programs |
2001 |
Martel M., Gengler M. |
|
|
|
Lecture Notes in Computer Science |
21.08.2001 |
|
СТ |
Communication Topology Analysis for Concurrent Programs |
2000 |
Martel M., Gengler M. |
|
|
|
Lecture Notes in Computer Science |
26.09.2000 |
|
СТ |
Self-applicable Partial Evaluation for the Pi-calculus |
1997 |
Gengler M., Martel M. |
|
|
|
SIGPLAN Notices |
27.01.1998 |
