The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology.
Michał Walicki, Jens Ulrik Skakkebæk, Sriram Sankar · 1991
This report describes the Ada style checker, which was designed and constructed in Winter and Spring 1989-90. The style checker is based on the Stanford Anna Tools and has been annotated using Anna. The style checker examines Ada programs for correct style'''' which is defined in a style specification language (SSL). A style checker generator is used to automatically generate a style checker based on a set of style specifications.