85
Voted
SIGADA
1999
Springer
15 years 7 months ago
1999
Springer
ASIS (Ada Semantic Interface Specification) applications written to the “Version 1”
121
Voted
ADAEUROPE
2001
Springer
15 years 7 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...