ASIS for GNAT: goals, problems and implementation strategy

This article describes the approach taken to implement the Ada Semantic Interface Specification (ASIS) for the GNAT Ada compiler. The paper discusses the main implementation problems and their solutions. It also describes the current state of the implementation. This is a slightly revised version of the paper published in the proceedings of the Ada-Europe'95 conference.