SIGADA
1999
Springer
13 years 9 months ago
1999
Springer
ASIS (Ada Semantic Interface Specification) applications written to the “Version 1”
ADAEUROPE
2001
Springer
13 years 9 months ago
2001
Springer
: ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS dard, appears to be at a very low-l...