Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. OASIS - An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
 
conference paper

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

Kuchumov, Alexei
•
Rybin, Sergey
•
Strohmeier, Alfred  
2001
Reliable SoftwareTechnologies — Ada-Europe 2001
6th International Conference on Reliable Software Technologies - 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.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.1007/3-540-45136-6_8
Author(s)
Kuchumov, Alexei
Rybin, Sergey
Strohmeier, Alfred  
Date Issued

2001

Publisher

Springer Verlag

Published in
Reliable SoftwareTechnologies — Ada-Europe 2001
Series title/Series vol.

Lecture Notes in Computer Science; 2043

Start page

113

End page

122

Note

Also available as Technical Report EPFL-DI No 00/342

Written at

EPFL

EPFL units
LGL  
Event nameEvent placeEvent date
6th International Conference on Reliable Software Technologies - Ada-Europe'2001

Leuven, Belgium

May 14 - 18, 2001

Available on Infoscience
September 20, 2005
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/216961
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés