Ada and ASIS: justification of differences in terminology and mechanisms
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Architecture of ASIS: a tool to support code analysis of complex systems
ACM SIGAda Ada Letters
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
ADA 95 Rationale: The Language, the Standard Libraries
ADA 95 Rationale: The Language, the Standard Libraries
ASIS for GNAT: Goals, Problems and Implementation Strategy
Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
ASIS for GNAT: From the Prototype to the Full Implementation
Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
Quality-for-ASIS: A Portable Testing Facility for ASIS
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
ASIS-for-GNAT: A Report of Practical Experiences
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
Hi-index | 0.00 |
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.