The new semantic model in ASIS for Ada 2005
Abstract
References
Index Terms
- The new semantic model in ASIS for Ada 2005
Recommendations
The new semantic model in ASIS for Ada 2005
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesFollowing 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 of ...
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
Information & Contributors
Information
Published In
November 2009142 pages
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 213Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in