Communications of the ACM · 1983 · 128 citations · 28 references
ComputingComputer ScienceDecision Support SystemsInformation RetrievalLanguage DocumentationDocument AnalysisDocumentation Analysis
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
28
A Transformation System for Developing Recursive Programs
R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text
The Cornell program synthesizer
Tim Teitelbaum, Thomas Reps · Communications of the ACM · 1981 · 709 citations · Full text
Software construction using components
James M. Neighbors · eScholarship (California Digital Library) · 1980 · 224 citations · Full text
Program Improvement by Source-to-Source Transformation
David B. Loveman · Journal of the ACM · 1977 · 215 citations · Full text