The Specification Statement

• 1 January 1988
• book chapter
• Published by Springer Nature
• p. 1-21
• https://doi.org/10.1007/978-1-4471-3273-8_1

Abstract

Keywords

• PROGRAMMING LANGUAGE
• WEAKEST PRECONDITION
• STATEMENTS
• SPECIFICATION STATEMENT
• EXTENDED LANGUAGE
• PRECONDITION SEMANTICS
• STATEMENT DIJKSTRA
• SPECIFY PARTS