abstract = "The paper presents the abstraction transformation
which is a fundamental method for creating functions in
ADATE. The use of abstraction turns out to be similar
to evolution by gene duplication which is emerging as
the most important theory of building blocks in natural
genomes. We discuss the relationship between
abstraction and its natural counterparts, but also give
novel technical details on automatic invention of
functions. Basically, abstraction is the reverse of the
inlining transformation performed by optimising
compilers.",