Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
| |
|
OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
Alexei Kuchumov6, Sergey Rybin6 and Alfred Strohmeier7 
| (6) |
Scientific Research Computer Center, Moscow State University, Vorob’evi Gori, Moscow, 119899, Russia |
| (7) |
Software Engineering Lab, Department of Computer Science, Swiss Federal Institute of Technology in Lausanne, 1015 Lausanne EPFL, Switzerland |
Abstract
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.
Keywords Ada - Ada Semantic Interface Specification - ASIS - Object-Oriented Programming - GNU Ada Compiler - GNAT - ASIS-for-GNAT
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|