Stanford Ada Style Checker: An Application of the Anna Tools and Methodology

摘要

This report describes the Ada style checker, which was designed and constructedin Winter and Spring 1989-9. The style checker is based on the Stanford Anna Tools and has been annotated using Anna. The style check examines Ada programs for 'correct style' which is defined in a style specification language (SSL). A style check generator is used to automatically generate a style checker based on a set of style specifications.