Accession Number : ADA311136

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

Descriptive Note : Technical rept.,

Corporate Author : STANFORD UNIV CA COMPUTER SYSTEMS LAB

Personal Author(s) : Walicki, Michal ; Skakkebaek, Jens U. ; Sankar, Sriram

PDF Url : ADA311136

Report Date : AUG 1991

Pagination or Media Count : 41

Abstract : This report describes the Ada style checker, which was designed and constructed in 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.

Descriptors :   *ADA PROGRAMMING LANGUAGE, SPECIFICATIONS, LANGUAGE.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE