Loading...
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.
Loading...
Name
strohmeier-AdaEurope2001.pdf
Access type
openaccess
Size
92.44 KB
Format
Adobe PDF
Checksum (MD5)
00a1e4232f46e2904f6eea4b36c5ce35