Domain-Specific Automatic Programming
Data up to Jan 2025
Total Citations Per Year
Abstract
References (35)
The Electrical Resistivity Log as an Aid in Determining Some Reservoir Characteristics
1942 • 7,112 citations
AN EXPERIMENTAL INVESTIGATION OF FACTORS AFFECTING ELASTIC WAVE VELOCITIES IN POROUS MEDIA
1958 • 922 citations
A Computer Model of Skill Acquisition
1975 • 468 citations
The Draco Approach to Constructing Software from Reusable Components
1984 • 416 citations
Software Technology in the 1990's: Using a New Paradigm
1983 • 360 citations
Program Transformation Systems
1983 • 350 citations
On the inevitable intertwining of specification and implementation
1982 • 348 citations
Knowledge Representation as the Basis for Requirements Specifications
1985 • 269 citations
Interactive programming environments
1984 • 259 citations
Toward Better Models of the Design Process
1985 • 238 citations
Transformational Implementation: An Example
1981 • 168 citations
Top-down synthesis of divide-and-conquer algorithms
1985 • 158 citations
Automatic Program Construction Techniques
1984 • 139 citations
Informality in Program Specifications
1978 • 130 citations
Initial Report on a Lisp Programmer's Apprentice
1978 • 129 citations
Automating the Transformational Development of Software
1985 • 123 citations
Knowledge-based program construction
1979 • 118 citations
Understanding and Automating Algorithm Design
1985 • 101 citations
An experiment in knowledge-based automatic programming
1979 • 91 citations
Inspection Methods in Programming
1981 • 88 citations
A Perspective on Automatic Programming
1984 • 66 citations
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis
1981 • 56 citations
Dependency Directed Reasoning for Complex Program Understanding
1979 • 42 citations
A summary of the PSI program synthesis system
1977 • 36 citations
A Perspective on Automatic Programming.
1983 • 31 citations
Efficiency in program synthesis
1981 • 28 citations
An automatic programming system to support an experimental science
1982 • 21 citations
Understanding and automating algorithm design
1985 • 12 citations
Build program technique : a practical approach for the development of automatic software generation systems
1981 • 9 citations
Who needs languages, and why do they need them? or no matter how high the level, it's still programming
1983 • 8 citations
Automatic programming for streams. II. Transformation implementation
2003 • 8 citations
Symbolic execution in algorithm design
1985 • 6 citations
Automatic programming for streams
1985 • 6 citations
From Geological Knowledge to Computational Relationships: A Case Study of the Expertise of Programming
1984 • 4 citations
Deleted Work
1955 • 0 citations
Cited By (0)
No citing papers found in database