OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code

: 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-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 secibrary providing abstractions and queries for analyzing object-oriented Ada code.

• Type: Conference
• Year: 2001
• Where: ADAEUROPE
• Authors: Alexey Kuchumov, Sergey Rybin, Alfred Strohmeier
• Keywords: ADAEUROPE 2001, ASIS, ASIS Dard, Cases Asis, Software Engineering