Access Restriction

Author Perlis, Alan J. ♦ Lipton, Richard J. ♦ De Millo, Richard A.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Formal mathematics ♦ Mathematical proofs ♦ Program specification ♦ Program verification
Abstract 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 programs make the formal verification process difficult to justify and manage. It is felt that ease of formal verification should not dominate program language design.
Description Affiliation: Georgia Institute of Technology, Atlanta (De Millo, Richard A.) || Yale Univ., New Haven, CT (Lipton, Richard J.; Perlis, Alan J.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 22
Issue Number 5
Page Count 10
Starting Page 271
Ending Page 280

Open content in new tab

   Open content in new tab
Source: ACM Digital Library