Key points are not available for this paper at this time.
article Free Access Share on Program developments: formal explanations of implementations Author: David S. Wile USC/Information Sciences Institute, Marina del Rey, CA USC/Information Sciences Institute, Marina del Rey, CAView Profile Authors Info & Claims Communications of the ACMVolume 26Issue 11Nov. 1983pp 902–911https://doi.org/10.1145/182.358443Published:01 November 1983Publication History 98citation367DownloadsMetricsTotal Citations98Total Downloads367Last 12 Months20Last 6 weeks2 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
David S. Wile (Tue,) studied this question.