Title of article :
Specifications, programs, and total correctness
Author/Authors :
Eric C.R. Hehner، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1999
Abstract :
This paper argues the following positions: that a formal specification is a boolean expression, that a program is a specification, and that total correctness is a poor choice of semantics.
Keywords :
Specification , Program , Total correctness
Journal title :
Science of Computer Programming
Journal title :
Science of Computer Programming
