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