By the same authors

From the same journal

Genetic Programming + Proof Search = Automatic Improvement

Research output: Contribution to journalArticlepeer-review

Full text download(s)

Published copy (DOI)



Publication details

JournalJournal of Automated Reasoning
DateAccepted/In press - 28 Feb 2017
DateE-pub ahead of print (current) - 7 Mar 2017
Number of pages20
Pages (from-to)1-20
Early online date7/03/17
Original languageEnglish


Search Based Software Engineering techniques are emerging as important tools for software maintenance. Foremost among these is Genetic Improvement, which has historically applied the stochastic techniques of Genetic Programming to optimize pre-existing program code. Previous work in this area has not generally preserved program semantics and this article describes an alternative to the traditional mutation operators used, employing deterministic proof search in the sequent calculus to yield semantics-preserving transformations on algebraic data types. Two case studies are described, both of which are applicable to the recently-introduced `grow and graft' technique of Genetic Improvement: the first extends the expressiveness of the `grafting' phase and the second transforms the representation of a list data type to yield an asymptotic efficiency improvement.

Bibliographical note

© The Author(s) 2017.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations