Key points are not available for this paper at this time.
research-article Free Access Share on An Introduction to Proving the Correctness of Programs Authors: Sidney L. Hantler Computer Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, New York Computer Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, New YorkView Profile , James C. King Computer Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, New York Computer Sciences Department, IBM Thomas J. Watson Research Center, Yorktown Heights, New YorkView Profile Authors Info & Claims ACM Computing SurveysVolume 8Issue 3Sept. 1976 pp 331–353https://doi.org/10.1145/356674.356677Published:01 September 1976Publication History 119citation1,466DownloadsMetricsTotal Citations119Total Downloads1,466Last 12 Months97Last 6 weeks39 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
Hantler et al. (Wed,) studied this question.