ANNA A Language for Annotating Ada Programs

@inproceedings{Luckham1984ANNAAL,
  title={ANNA A Language for Annotating Ada Programs},
  author={David C. Luckham and Friedrich W. von Henke and Bernd Krieg-Br{\"u}ckner and Olaf Owe},
  booktitle={Lecture Notes in Computer Science},
  year={1984}
}
ANNA is a proposed language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs (or portions thereof) at all stages of program development. Anna programs are Ada programs extended by formal comments. Formal comments in ANNA consist of virtual Ada text and annotations. Anna provides annotations for all Ada constructs, including declarative annotations (for variables, subtypes, subprograms, and packages), statement annotations, annotations of… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 64 CITATIONS

First International Workshop on Larch

  • Workshops in Computing
  • 1993
VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Reusable Software Components

VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Developing Formally Veriied Ada Programs

Norman Ramseyy
  • 1988
VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Storage reclamation models for Ada programs

  • SIGAda '87
  • 1987
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Using Test Oracles and Formal Specifications with Test-Driven Development

  • International Journal of Software Engineering and Knowledge Engineering
  • 2013
VIEW 1 EXCERPT
CITES BACKGROUND

Self-Supervising BPEL Processes

  • IEEE Transactions on Software Engineering
  • 2011
VIEW 3 EXCERPTS
CITES METHODS

FILTER CITATIONS BY YEAR

1984
2013

CITATION STATISTICS

  • 6 Highly Influenced Citations