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
Loading...
Thumbnail Image
Name

strohmeier-AdaEurope2001.pdf

Access type

openaccess

Size

92.44 KB

Format

Adobe PDF

Checksum (MD5)

00a1e4232f46e2904f6eea4b36c5ce35

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