Inverting Programs

  • David Gries
Part of the Text and Monographs in Computer Science book series (MCS)


Wouldn’t it be nice to be able to run a program backwards or, better yet, to derive from one program P a second program P−1 that computes the inverse of P? That means that running P followed by P−1 would be the same as not running any program at all! Also, if we had the result of executing P, but had lost the input, we could execute P−1 to determine that input. This chapter is devoted to having fun inverting programs.


Inversion Technique Usual Strategy Link Reversal Indented Line Simple Command 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1981

Authors and Affiliations

  • David Gries
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations