Case Studies with an Automatic Program Inversion System

DOI

Abstract

Many problems in computation can be viewed as an inverse of an easilyconstructed program. Our goal is to derive an inverse from the originalprogram automatically. One of the main problems in program inversion isnondeterminism in inverse programs. We observe that a program is like agrammar and choosing a branch is like determining which production rule touse when parsing. We apply LR parsing to generate deterministic inverseprograms. We implemented an automatic program inversion system forfirst-order functional programs. In this paper, we present the inversionmethod as well as experimental results with the implementation.

Journal

Related Projects

See more

Keywords

Details

  • CRID
    1390282680500401664
  • NII Article ID
    130005006639
  • DOI
    10.11309/jssstconference.21.0.75.0
  • ISSN
    13493515
  • Data Source
    • JaLC
    • CiNii Articles
    • KAKEN
  • Abstract License Flag
    Disallowed

Report a problem

Back to top