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
Most automatic programming research has focused on programs which terminate and which produce output...
Annual Review in Automatic Programming focuses on the techniques of automatic programming used with ...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Ten methodologies for automatic program construction are presented, discussed and compared. Some of ...
Automatic generation of program is definitely an alluring problem. Over the years many approaches em...
A formal description of a software development method is a first step toward a rigorous implementati...
A description of methods and an implementation of a system for automalic generation of programs is g...
For the evolving discipline of programming, acquisition of programming knowledge is a difficult issu...
Programming, the act of creating and changing software source code, should be a collaborative proces...
Automatic program generation saves time, human resources, and allows receiving syntactically clear a...
Automatic programming (AP) is one of the most attractive branches of artificial intelligence because...
In this paper, acquisition of knowledge from user's programs written in Pascal to the knowledge base...
Tutorial de 4 horas de duración, aceptado e impartido en: International Conference in Machine Learni...
AbstractThe paper presents a critical overview of the development in the area of automating the prog...
This report presents a method for viewing complex programs as built up out of simpler ones. The ce...
Most automatic programming research has focused on programs which terminate and which produce output...
Annual Review in Automatic Programming focuses on the techniques of automatic programming used with ...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
Ten methodologies for automatic program construction are presented, discussed and compared. Some of ...
Automatic generation of program is definitely an alluring problem. Over the years many approaches em...
A formal description of a software development method is a first step toward a rigorous implementati...
A description of methods and an implementation of a system for automalic generation of programs is g...
For the evolving discipline of programming, acquisition of programming knowledge is a difficult issu...
Programming, the act of creating and changing software source code, should be a collaborative proces...
Automatic program generation saves time, human resources, and allows receiving syntactically clear a...
Automatic programming (AP) is one of the most attractive branches of artificial intelligence because...
In this paper, acquisition of knowledge from user's programs written in Pascal to the knowledge base...
Tutorial de 4 horas de duración, aceptado e impartido en: International Conference in Machine Learni...
AbstractThe paper presents a critical overview of the development in the area of automating the prog...
This report presents a method for viewing complex programs as built up out of simpler ones. The ce...
Most automatic programming research has focused on programs which terminate and which produce output...
Annual Review in Automatic Programming focuses on the techniques of automatic programming used with ...
A unified framework for formal reasoning about programs and deductive mechanisms involved in program...
DOI
Add to ORKG