A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software EngineeringPublished 1 November 1985
Rosana Balzer
Citations366
SJR quartileQ1
SJR score1.45
SNIP2.43
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
Automatic programming consists not only of an automatic compiler, but also some Means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high- level specification into a lower-level one which can be automatically compiled.
Abstract
Automatic programming consists not only of an automatic compiler, but also some means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high-level specification into a lower-level one which can be automatically compiled.
Keywords
Computer Science
Artificial IntelligenceXPLAIN: a system for creating and explaining expert consulting programs
385 Citations1983William Swartout
The XPLAIN system uses an automatic programmer to generate a consulting program by refinement from abstract goals and provides justifications of the code by examining the refinement structure created by the automatic programmer.
IEEE Transactions on Software EngineeringA 15 Year Perspective on Automatic Programming
366 Citations1985Rosana Balzer
Automatic programming consists not only of an automatic compiler, but also some Means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high- level specification into a lower-level one which can be automatically compiled.
IEEE ExpertExplanations in knowledge systems: design for explainable expert systems
194 Citations1991William Swartout, Cécile Paris +1 more
The explainable expert systems framework (EES), in which the focus is on capturing those design aspects that are important for producing good explanations, including justifications of the system's actions, explications of general problem-solving strategies, and descriptions of the systems' terminology, is discussed.
IEEE Transactions on Software EngineeringTransformational Implementation: An Example
161 Citations1981Rosana Balzer
A system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example.
ACM Transactions on Programming Languages and SystemsLanguage support for the specification and development of composite systems
157 Citations1987Martin S. Feather
The virtues of this approach to specification are expounded, and specification language features that are supportive of it are presented and it is shown how these are incorporated in the specification language Gist, which the group has developed.
Morgan Kaufmann Publishers Inc. eBooksReport on a knowledge-based software assistant
139 Citations1986C. Green, D Luckham +3 more
This KBSA will provide a corporate memory of the development history and act throughout the life cycle as a knowledgeable software assistant to the human involved (e.g., the developers, maintainers, project managers, and end-users).
Machine learning: a guide to current research
135 Citations1986Tom M. Mitchell, Jaime Carbonell +1 more
IEEE Transactions on Software EngineeringInformality in Program Specifications
129 Citations1978Rosana Balzer, Neil Goldman +1 more
Some attributes of a suitable process-oriented specification language are determined and the reasons why specifications would still be difficult to write in such a language in the absence of formulation tools are examined.
Communications of the ACMProgram developments
128 Citations1983David S. Wile
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.
Principles of good software specification and their implications for specification languages
120 Citations1981Robert Balzer, Neil Goldman
These principles result in eighteen implications for specification languages that strongly constrain the set of adequate specification languages and identify the need for several novel capabilities such as historical and future references, elimination of variables, and result specification.
Science of Computer ProgrammingImplementing specification freedoms
53 Citations1982Philip London, Martin S. Feather
Mapping issues are discussed in the context of the development methodology, in which implementations are derived via the application of correctness-preserving transformations applied to a specification language whose high-level expressive capabilities are modeled after natural language.
National Conference on Artificial IntelligenceThe GIST behavior explainer
51 Citations1983William Swartout
This paper presents an automated system that employs a number of heuristics to select the most interesting aspects of the trace for presentation and uses this information to construct an English description of the Trace.
International Conference on Software EngineeringProgramming as an evolutionary process
49 Citations1976Friedrich L. Bauer
National Conference on Artificial IntelligenceGIST english generator
45 Citations1982William Swartout
A prototype English generator which can produce English descriptions of program specifications written in Gist, a program specification language being developed at ISI, is described.
International Joint Conference on Artificial IntelligenceAutomated enhancement of knowledge representations
36 Citations1985Robert Balzer
A new class of maintenance tool is presented, designed specifically for enhancement of knowledge representation systems, based on the structure of a domain model and the ways it can be changed.
International Joint Conference on Artificial IntelligenceAutomating program speedup by deciding what to cache
33 Citations1985Jack Mostow, D. Cohen
The analysis extends previous work on caching by considering side effects, shared data structures, program edits, and the acceptability of behavior changes caused by caching.
Lecture notes in computer scienceProgramming as an evolutionary process
32 Citations1976Friedrich L. Bauer
The aim is to arrive at a computer-surveyed, intuition-controlled programming support system (CIPS), which is under way at the Technical University of Munich Informatics Institute.
International Joint Conference on Artificial IntelligenceSymbolic execution of the Gist specification language
27 Citations1983D. Cohen
This work describes a symbolic evaluator, named KOKO, for the Gist specification language, and shows how it copes with such high-level constructs as nondeterminism, constraints, and reference by description.
National Conference on Artificial IntelligenceThree dimensions of design development
16 Citations1983Neil Goldman
Three dimensions of evolution that can be used to structure specification developments: structuralgranularity, temporal granularity, and coverage are suggested.