skip to main content
research-article

ASIS vs. LibAdalang: a Comparative Assesment

Authors Info & Claims
Published:08 April 2022Publication History
Skip Abstract Section

Abstract

This paper compares the origins, features, and status of two different tools intended to facilitate static analysis of Ada programs: ASIS and LibAdalang.

It stresses the differences in principles, features, and intended usages, and shows use cases where each is more appropriate.

References

  1. ISO/IEC 15291: Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)Google ScholarGoogle Scholar
  2. https://github.com/AdaCore/libadalangGoogle ScholarGoogle Scholar
  3. Goos, Gerhard; Winterstein, Georg (1980). "Towards a compiler front-end for Ada". Proceedings of the ACMSIGPLAN symposium on Ada programming language. Annual International Conference on Ada. ACMSIGPLAN. pp. 36--46.Google ScholarGoogle Scholar
  4. S. Rybin & A. Strohmeier : " About the Difficulties of Building a Pretty-Printer for Ada", proceedings of the Reliable Software Technologies - Ada-Europe 2002 conference, June 2002.Google ScholarGoogle ScholarCross RefCross Ref
  5. https://github.com/Adalog-fr/AdacontrolGoogle ScholarGoogle Scholar
  6. https://github.com/AdaCore/langkit-querylanguage/ blob/master/user_manual/source/language_refe rence.rstGoogle ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. ASIS vs. LibAdalang: a Comparative Assesment

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGAda Ada Letters
      ACM SIGAda Ada Letters  Volume 41, Issue 2
      December 2021
      25 pages
      ISSN:1094-3641
      DOI:10.1145/3530801
      Issue’s Table of Contents

      Copyright © 2022 Copyright is held by the owner/author(s)

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 8 April 2022

      Check for updates

      Qualifiers

      • research-article
    • Article Metrics

      • Downloads (Last 12 months)8
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!