## User login## Navigation |
## Social Processes and Proofs of Theorems and Programs
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. |
## Browse archives
## Active forum topics |

## Recent comments

14 hours 8 min ago

14 hours 12 min ago

14 hours 30 min ago

17 hours 23 min ago

17 hours 46 min ago

20 hours 56 min ago

21 hours 23 min ago

21 hours 42 min ago

1 day 18 hours ago

1 day 22 hours ago