skip to main content
10.1145/1647420.1647448acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

The new semantic model in ASIS for Ada 2005

Published:01 November 2009Publication History

ABSTRACT

Following the new Ada 2005 standard, the ASIS interface has to be upgraded. In addition to supporting the representation of new features, ASIS has been extended with a semantic subsystem, where queries support the logical views of entities rather than their syntactic counterparts. This paper describes the new concepts introduced by this new subsystem.

References

  1. ISO/IEC 15291:1999. Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)Google ScholarGoogle Scholar
  2. AI05-0069, available at http://www.ada-auth.org/AI05-SUMMARY.HTMLGoogle ScholarGoogle Scholar

Index Terms

  1. The new semantic model in ASIS for Ada 2005

    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
    • Published in

      cover image ACM Conferences
      SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
      November 2009
      142 pages
      ISBN:9781605584751
      DOI:10.1145/1647420
      • cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 29, Issue 3
        SIGAda '09
        December 2009
        113 pages
        ISSN:1094-3641
        DOI:10.1145/1653616
        Issue’s Table of Contents

      Copyright © 2009 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 1 November 2009

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • research-article
    • Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)1

      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!