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
6 weeks 2 days ago
10 weeks 4 days ago
12 weeks 1 day ago
12 weeks 1 day ago
14 weeks 6 days ago
19 weeks 4 days ago
19 weeks 4 days ago
20 weeks 4 hours ago
20 weeks 4 hours ago
22 weeks 5 days ago