Program developments
Communications of the ACMPublished 1 November 1983Open access
David S. Wile
Citations128
SJR quartileQ1
SJR score1.15
SNIP3.34
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This report discusses the documentation requirements of the development process and describes a prototype system for constructing and maintaining this documentation information and indicates the many remaining open issues and the direction to be taken in the pursuit of solutions.
Abstract
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
Keywords
Computer Science
Simple Word Problems in Universal Algebras
1,373 Citations1983Donald E. Knuth, PETER B. BENDIX
Journal of the ACMA Transformation System for Developing Recursive Programs
1,316 Citations1977R. M. Burstall, John Darlington
A system of rules for transforming programs, with the programs in the form of recursion equations, are described, with an initially very simple, lucid, and hopefully correct program transformed into a more efficient one by altering the recursion structure.
Communications of the ACMThe Cornell program synthesizer
709 Citations1981Tim Teitelbaum, Thomas Reps
The Cornell Program Synthesizer demands a structural perspective at all stages of program development and its separate features are unified by a common foundation: a grammar for the programming language.
Journal of AdvertisingAaker, David A. (Ed.).<i>Advertising Management</i>. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1975
280 Citations1976Barbara J. Coe
eScholarship (California Digital Library)Software construction using components
223 Citations1980James M. Neighbors
It is the thesis of this work than many computer software systems being built today are similar and should be built out of reusable software components and the appropriate use of software components is investigated by analogy to the classical engineering question of whether to build an object out of custom-made parts or standard parts and assemblies.
Journal of the ACMProgram Improvement by Source-to-Source Transformation
215 Citations1977David B. Loveman
A compilation model based on the use of source-to-source program transformations is used to provide a framework for discussing issues of code generation, compilation of high level languages such as APL, and eliminating overhead commonly associated with modular structured programming.
IEEE Transactions on Software EngineeringAn Incremental Programming Environment
193 Citations1981Raúl Medina‐Mora, Peter H. Feiler
This paper describes an incremental programming environment (IPE) based on compilation technology, but providing facilities traditionally found only in interpretive systems.
OPAL (Open@LaTrobe) (La Trobe University)The design of an optimizing compiler
181 Citations2014William A. Wulf
EXDAMS
149 Citations1969Rosana Balzer
With the advent of the higher-level algebraic languages, the computer industry expected to be relieved of the detailed programming required at the assembly-language level, but this expectation has largely been realized and many systems are now being built in higher- level languages.
A Metalanguage for interactive proof in LCF
127 Citations1978Mike Gordon, R. Milner +3 more
The features of ML which are of general interest in language design quite independently of its use for machine assistd formal pxcof are illustrated to illustrate ML applied to PPA, in encoding interesting prcof -finding-andperfonning procedures and to convey a methodology for controlled semiautomatic proof.
IEEE Transactions on Software EngineeringThe Programmer's Apprentice: Knowledge Based Program Editing
120 Citations1982Richard C. Waters
An initial implementation of an interactive programming assistant system called the programmer's apprentice (PA) is described, designed to be midway between an improved programming methodology and an automatic programming system.
IEEE Transactions on Software EngineeringSymbolic Evaluation and the Analysis of Programs
106 Citations1979Thomas E. Cheatham, Glenn Holloway +1 more
A symbolic evaluator uses conditional expressions to represent the uncertainty that arises from branching and develops and attempts to solve recurrence relations that describe the behavior of loop variables.
Computers and medicineExplaining and Justifying Expert Consulting Programs
100 Citations1985William Swartout
This paper discusses the system described above and outlines additional advantages this approach has for explanation and examines the refinement structure created by the automatic programmer it is possible to provide justifications of the code.
IFIP CongressAn Overview of AFFIRM: A Specification and Verification System.
83 Citations1980Susan L. Gerhart, David R. Musser +7 more
International Conference on Software EngineeringOn the Transformational Implementation approach to programming
80 Citations1976Robert Balzer, Neil Goldman +1 more
This paper discusses various approaches to programming, defining and highlighting Transformational Implementation; it then examines the basic causes of the software problem and their resolution with Transformational implementation.
IEEE Transactions on Software EngineeringProgram Development as a Formal Activity
66 Citations1981Manfred Broy, Peter Pepper
A methodology of program development by transformations is outlined, and ways of representing the transformation rules are discussed, and the relationship between notions of their correctness and the semantic definition of programming languages is studied.
Acta InformaticaThe method of attributes for data flow analysis
60 Citations1978Wayne A. Babich, Mehdi Jazayeri
The method of attributes is applied to the demand analysis of live variables: analysis of dead variables and analysis of available expressions for exhaustive data flow analysis.
Acta InformaticaThe method of attributes for data flow analysis
55 Citations1978Wayne A. Babich, Mehdi Jazayeri
A new technique for global data flow analysis, called the method of attributes, which operates on a parse tree representation of the program and application to dead variable and available expression analysis is shown.
ACM Transactions on Programming Languages and SystemsGrammar-Based Definition of Metaprogramming Systems
52 Citations1984Robert D. Cameron, M.R. Ito
Description d'une approche basee sur la grammaire de la specification des composants de manipulation syntactique d'un systeme de meta-programmation applicable a tout langage de programmation.
International Conference on Software EngineeringProgramming as an evolutionary process
49 Citations1976Friedrich L. Bauer
International Conference on Software EngineeringProgram refinement by transformation
41 Citations1981Thomas E. Cheatham, Glenn Holloway +1 more
The transformation facilities available to the user of the Harvard Program Development System are described, and aspects of the implementation of these facilities are discussed.
Improving and refining programs by program manipulation
36 Citations1976Thomas A. Standish, Dennis Kibler +1 more
This paper explores the notion of using source-to-source transformations interactively as a basis for an approach to program improvement and refinement.
HAL (Le Centre pour la Communication Scientifique Directe)A structure oriented program editor : a first step towards computer assisted programming
23 Citations1975Véronique Viguié Donzeau-Gouge, Gérard Huet +3 more
Edinburgh Research Archive (University of Edinburgh)A system for developing programs by transformation
19 Citations1979Martin S. Feather
This thesis presents an implemented machine-b::, sed transformation system which is based on a concise and powerful transformation method due to Burstail and Darlington, and is intended to be a suitable tool for use on larger programs.
Knowledge about programs
16 Citations1975Susan L. Gerhart
A general model for domains of programming knowledge in terms of schema, transformations, and derivation rules is described and a methodology for constructing and proving correct programs based on knowledge is illustrated.
Lecture notes in computer scienceSuggestions for composing and specifying program design decisions
16 Citations1980M. Sintzoff
It is proposed to express program designs by hierarchical specifications of design decisions by giving composition rules based on logic for these hierarchical specifications.
A Knowledgeable, Language-Independent System for Program Construction and Modification
6 Citations1975Martin Yonke
The design of a language- independent system for 'intelligent' creation and modification of programs as an example of such a facility and all methods associated with this model are oriented towards error prevention while still allowing the user 'free-form' program input.
A language-independent programmer's interface
2 Citations1974Robert Balzer
This paper addresses the general problem of creating a suitable on-line environment for programming and discusses the few systems which do exist and have greatly benefited their users and have strongly contributed to the widespread acceptance of the associated language.
University of Southern California Digital LibraryStructure comparison and semantic interpretation of differences
2 Citations2015Wellington Yu Chiu
This work addresses the problem of comparing two data structures and determining all differences between the two structures by applying Al techniques that yield semantic interpretations of differences.