Advertisement

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

  • Alexei Kuchumov
  • Sergey Rybin
  • Alfred Strohmeier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2043)

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Ada Semantic Interface Specification (ASIS); International Standard ISO/IEC 15291 1999 (E).Google Scholar
  2. [2]
    Currie Colket et all; Architecture of ASIS: A Tool to Support Code Analysis of Complex Systems; ACM Ada Letters, January 1997, vol. XVII,no.1, 1997, pp 35–40.CrossRefGoogle Scholar
  3. [3]
    John Barnes (Ed.); Ada 95 Rationale: The Language, The Standard Libraries; Lecture Notes in Computer Science, vol. 1247; Springer-Verlag, 1997; ISBN 3-540-63143-7.Google Scholar
  4. [4]
    S. Tucker Taft, Robert A. Duff (Eds.); Ada 95 Reference Manual: Language and Standard Libraries, International Standard ISO/IEC 8652:1995(E); Lecture Notes in Computer Science, vol. 1246; Springer-Verlag, 1997; ISBN 3-540-63144-5.Google Scholar
  5. [5]
    Sergey Rybin, Alfred Strohmeier; Ada and ASIS: Justification of Differences in Terminology and Mechanisms; Proceedings of TRI-Ada’96, Philadelphia, USA, December 3–7, 1996, pp 249–254.Google Scholar
  6. [6]
    Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexei Kuchumov; ASIS-for-GNAT: A Report of Practical Experiences–Reliable Software Technologies–Ada-Europe’2000 Proceedings, Hubert B. Keller, Erhard Ploedereder (Eds), LNCS (Lecture Notes in Computer Science), vol. 1845, Springer-Verlag, 5th Ada-Europe International Conference, Potsdam, Germany, June 26–30, 2000, pp. 125–137.Google Scholar
  7. [7]
    James Rumbaugh, Ivar Jacobson, Grady Booch; The Unified Modeling Language Reference Manual; Addison-Wesley, 1999.Google Scholar
  8. [8]
    Sergey Rybin, Alfred Strohmeier, Eugene Zueff; ASIS for GNAT: Goals, Problems and Implementation Strategy; Proceedings of Ada-Europe’95, Toussaint (Ed.), LNCS (Lecture Notes in Computer Science) 1031, Springer, Frankfurt, Germany, October 2–6 1995, pp. 139–151.CrossRefGoogle Scholar
  9. [9]
    Sergey Rybin, Alfred Strohmeier, Alexei Kuchumov, Vasiliy Fofanov; ASIS for GNAT: From the Prototype to the Full Implementation; Reliable Software Technologies–Ada-Europe’96: Proceedings, Alfred Strohmeier (Ed.), LNCS (Lecture Notes in Computer Science), vol. 1088, Springer, Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10–14, 1996, pp. 298–311.CrossRefGoogle Scholar
  10. [10]
    Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey; Quality-for-ASIS: A Portable Testing Facility for ASIS; International Conference on Reliable Software Technologies–Ada-Europe’98, Uppsala, Sweden, June 2–8 1998, Lars Asplund (Ed.), LNCS (Lecture Notes in Computer Science), Springer-Verlag, 1998, pp. 163–175.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Alexei Kuchumov
    • 1
  • Sergey Rybin
    • 1
  • Alfred Strohmeier
    • 2
  1. 1.Scientific Research Computer CenterMoscow State UniversityMoscowRussia
  2. 2.Software Engineering Lab, Department of Computer ScienceSwiss Federal Institute of Technology in LausanneLausanne EPFLSwitzerland

Personalised recommendations