Function Reversal Framework [Duesterwald, Gupta, Soffa, POPL’95,TOPLS’97]

Algebraic framework to derive interprocedural demand driven data flow

Three components:

• Demands as data flow queries

• Set of query propagation rules - backward

  • partial functional reversal
  • reversal of summary functions

• Generic iterative propagation algorithm

  • work list algorithm
  • summary functions, including handling of parameters
  • version for caching of computed answers

Previous slide

Next slide

Back to first slide

View graphic version