СТ |
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada |
2003 |
Briot E., Gasperoni F., Dewar R., Craeynest D., Waroquiers P. |
|
|
|
Lecture Notes in Computer Science |
28.06.2003 |
СТ |
Explosing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada |
2002 |
Dewar R., Hainque O., Craeynest D., Waroquiers P. |
|
|
|
Lecture Notes in Computer Science |
19.07.2002 |
СТ |
Migrating Large Applications from Ada83 to Ada95 |
2001 |
Waroquiers P., Van Vlierberghe S., Craeynest D., Hately A., Duvinage E. |
|
|
|
Lecture Notes in Computer Science |
10.06.2001 |