Now showing items 1-1 of 1

    • Compositional Recurrence Analysis Revisited 

      Kincaid, Zachary; Breck, Jason; Forouhi Boroujeni, Ashkan; Reps, Thomas (2017-03-08)
      Compositional recurrence analysis (CRA) is a static-analysis method based on a combination of symbolic analysis and abstract interpretation. This paper addresses the problem of creating a context-sensitive interprocedural ...