A survey of the implementation-dependent aspects of Ada

This article discusses the different types of implementation dependencies that are allowed by the current definition of Ada and provides a classification based on the qualitative differences among them. Other aspects that might incorrectly be considered implementation dependencies are pointed out.