kirancodes.me
To Proof Maintenance & Beyond!

A code synthesis experiment

Henson Graves, Joe Louie, Tracy Mullen

Abstract

The authors have built a prototype software synthesis system, the Lockheed Environment for Automatic Programming (LEAP). The LEAP synthesis approach depends on using software assets that are built during the course of application development. In the largest application built so far the synthesized software consisted of 65000 lines of Ada code and 10000 lines of C code. LEAP was used to construct two simple application examples. The experiment was to graphically construct system descriptions to represent generic forms of the two examples provided, and to have LEAP synthesize Ada code using its template asset base. One example was an event system that represented the implicit invocation cliche. The second example was a phone database manager.>

BibTeX
@inproceedings{Graves-al:ASE92,
  author    = {Henson Graves and
               Joe Louie and
               Tracy Mullen},
  title     = {A code synthesis experiment},
  booktitle = {ASE},
  pages     = {6--17},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
}

Related papers