Improving the scalability of automatic programming

Authors:
Henrik Berg;Roland Olsson
Affiliations:
Østfold University College, Remmen, Halden, Norway;Østfold University College, Remmen, Halden, Norway
Venue:
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Year:
2005

Citing 2
Cited 0

Inductive functional programming using incremental program transformation

Artificial Intelligence
Fundamentals of algorithmics

Fundamentals of algorithmics

Quantified Score

Hi-index	0.00

Visualization

Abstract

When automatically constructing large programs using program transformations, the number of possible transformations grows very fast. In this paper, we introduce and test a new way of combining several program transformations into one transformation, inspired by the combinatorial concept of Covering Arrays (CA). We have equipped the ADATE automatic programming system with this new CA transformation and conducted a series of 18 experiments which show that the CA transformation is a highly useful supplement to the existing ADATE transformations.