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.
- ISO/IEC 15291:1999. Information technology - Programming languages - Ada Semantic Interface Specification (ASIS)Google Scholar
- AI05-0069, available at http://www.ada-auth.org/AI05-SUMMARY.HTMLGoogle Scholar
Index Terms
The new semantic model in ASIS for Ada 2005
Recommendations
The new semantic model in ASIS for Ada 2005
SIGAda '09Following 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 ...
Beyond ASIS: program data bases and tool-oriented queries
SIGAda '01: Proceedings of the 2001 annual ACM SIGAda international conference on AdaThe availability of higher level ASIS libraries is of prime importance for the real success of ASIS technology to facilitate the development of Software Analysis and Testing (SAT) tools. This is due to the fact that ASIS queries are expressed in terms ...
Beyond ASIS: program data bases and tool-oriented queries
The availability of higher level ASIS libraries is of prime importance for the real success of ASIS technology to facilitate the development of Software Analysis and Testing (SAT) tools. This is due to the fact that ASIS queries are expressed in terms ...







Comments