A
paper that was
mentioned in the discussion forum,
by Richard A. De Millo, Richard J. Lipton, Alan J. Perlis, 1979.
It is argued that formal verifications of programs, no matter how
obtained, will not play the same key role in the development of
computer science and software engineering as proofs do in
mathematics. Furthermore, the absence of continuity, the
inevitability of change, and the complexity of specification of
significantly many real progarms make the formal verification
process difficult to justify and manage. It is felt that ease of
formal verification should not dominate program language deisgn.
Recent comments
1 week 2 days ago
5 weeks 4 days ago
6 weeks 1 day ago
6 weeks 1 day ago
8 weeks 1 day ago
8 weeks 1 day ago
8 weeks 3 days ago
8 weeks 3 days ago
9 weeks 3 days ago
10 weeks 2 days ago