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.
My Menu
Saved Items

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

Alexei Kuchumov6, Sergey RybinContact Information and Alfred StrohmeierContact Information

(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


Contact Information Sergey Rybin
Email: rybin@alex.srcc.msu.su

Contact Information Alfred Strohmeier
Email: alfred.strohmeier@epfl.ch
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.106 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)