Ten methodologies for automatic program construction are presented, discussed and compared. Some of the techniques generate code from formal input-output specifications while others work from examples of the target behaviour or from natural language input
Building systems that can synthesize programs from natural specifications (such as examples or langu...
The work to be described here is an investigation into the means whereby the learning of programming...
Programming is a task that has accompanied all computer scientists since as early as the vacuum tube...
Ten methodologies for automatic program construction are presented, discussed and compared. Some of ...
For the evolving discipline of programming, acquisition of programming knowledge is a difficult issu...
A description of methods and an implementation of a system for automalic generation of programs is g...
AbstractThe paper presents a critical overview of the development in the area of automating the prog...
An exploratory study of the automatic generation and optimization of symbolic programs using DECOM -...
Tutorial de 4 horas de duración, aceptado e impartido en: International Conference in Machine Learni...
Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...
A formal description of a software development method is a first step toward a rigorous implementati...
Automatic generation of program is definitely an alluring problem. Over the years many approaches em...
In this paper, acquisition of knowledge from user's programs written in Pascal to the knowledge base...
To make a computer do anything, you have to write a computer program. To write a computer program, y...
A strategy for automatically generating and verifying simple computer programs is described. The pro...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
The work to be described here is an investigation into the means whereby the learning of programming...
Programming is a task that has accompanied all computer scientists since as early as the vacuum tube...
Ten methodologies for automatic program construction are presented, discussed and compared. Some of ...
For the evolving discipline of programming, acquisition of programming knowledge is a difficult issu...
A description of methods and an implementation of a system for automalic generation of programs is g...
AbstractThe paper presents a critical overview of the development in the area of automating the prog...
An exploratory study of the automatic generation and optimization of symbolic programs using DECOM -...
Tutorial de 4 horas de duración, aceptado e impartido en: International Conference in Machine Learni...
Systems supporting the manipulation of non-trivial program code are complex and are at best semi-aut...
A formal description of a software development method is a first step toward a rigorous implementati...
Automatic generation of program is definitely an alluring problem. Over the years many approaches em...
In this paper, acquisition of knowledge from user's programs written in Pascal to the knowledge base...
To make a computer do anything, you have to write a computer program. To write a computer program, y...
A strategy for automatically generating and verifying simple computer programs is described. The pro...
Building systems that can synthesize programs from natural specifications (such as examples or langu...
The work to be described here is an investigation into the means whereby the learning of programming...
Programming is a task that has accompanied all computer scientists since as early as the vacuum tube...
DOI
Add to ORKG