A package for specifying Ada programs

Abstract

This paper describes one of several methods currently being investigate d for incorporating specifications into an Ada program. The underlyin g principle of this method is that a sequence of statements (as in a procedure body) can be semantically specified in three parts : a precondition (describing the relations between relevant variables o n starting to… (More)
DOI: 10.1145/998382.998384

Topics

  • Presentations referencing similar topics