Explanation-based learning for the automated reuse of programs

Author

Bergmann, Ralph

Author_Institution

German Res. Center for Artificial Intelligence, Kaiserslautern, Germany

fYear

1992

fDate

4-8 May 1992

Firstpage

109

Lastpage

110

Abstract

A new approach for software reuse is presented which allows for the efficient preparation of already available programs, so that they can be automatically reused for novel programming tasks. Explanation-based learning from programs, guided by a domain theory of the semantics of the programming language, was used to acquire skeletal programs. For that purpose, a symbolic trace is constructed as an explanation of the functioning of a program, which may contain different types of control constructs such as sequential execution, conditional execution, and recursion. Explanation-based generalization was extended to explicitly handle these different kinds of execution control which are most essential for computer programs.<>

Keywords

explanation; generalisation (artificial intelligence); high level languages; learning (artificial intelligence); software reusability; automated reuse; computer programs; conditional execution; control constructs; domain theory; execution control; novel programming tasks; programming language; recursion; semantics; sequential execution; skeletal programs; software reuse; symbolic trace; Artificial intelligence; Automatic programming; Computer languages; Concrete; Machine learning; Productivity; Software design; Software engineering; Software reusability; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218477

Filename

218477