article Free AccessA New Incompleteness Result for Hoare's System Author: Mitchell Wand Computer Science Department, Indiana University, 101 Lindley Hall, Bloomington, IN Computer Science Department, Indiana University, 101 Lindley Hall, Bloomington, INView Profile Authors Info & Claims Journal of the ACMVolume 25Issue 1pp 168–175https://doi.org/10.1145/322047.322062Published:01 January 1978Publication History 48citation380DownloadsMetricsTotal Citations48Total Downloads380Last 12 Months21Last 6 weeks3 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!
No takes yet. Share an insight, caveat, or question.
Mitchell Wand (1978) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: