conference paper 
OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
 2001 
Reliable SoftwareTechnologies — Ada-Europe 2001
ASIS has proven to be an effective platform for developing various program analysis tools. However, in many cases ASIS, as defined in the ASIS ISO standard, appears to be at a very low-level of abstraction compared to the needs of the tool developer. Higher-level interfaces and common libraries for specific needs should therefore be developed. The paper describes a ASIS secondary library providing abstractions and queries for analyzing object-oriented Ada code.
Type
 conference paper 
Author(s)
Date Issued
2001
Publisher
Published in
Reliable SoftwareTechnologies — Ada-Europe 2001
Series title/Series vol.
Lecture Notes in Computer Science; 2043
Start page
113
End page
122
Note
Also available as Technical Report EPFL-DI No 00/342
Written at
EPFL
EPFL units
| Event name | Event place | Event date | 
| Leuven, Belgium | May 14 - 18, 2001 | |
Available on Infoscience
 September 20, 2005 
Use this identifier to reference this record