A package for specifying Ada programs


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


  • Presentations referencing similar topics