Report Number: CSL-TR-84-265
Institution: Stanford University, Computer Systems Laboratory
Title: An overview of ANNA - a specification language for ADA
Author: Luckham, David
Author: Henke, Friedrich W. von
Date: September 1984
Abstract: A specification language permits information about various aspects of a program to be expressed in a precise machine processable form. This information is not normally part of the program itself. Specification languages are viewed as evolving from modern high level programming languages. The first step in this evolution is cautious extension of the programming language. Some of the features of Anna, a specification language extending Ada, are discussed. The extensions include generalizations of constructs (such as type constraints) that are already in Ada, and new constructs for specifying subprograms, packages, exceptions, and contexts.
http://i.stanford.edu/pub/cstr/reports/csl/tr/84/265/CSL-TR-84-265.pdf