The following publications are possibly variants of this publication:
- Weighted pushdown systems and their application to interprocedural dataflow analysisThomas W. Reps, Stefan Schwoon, Somesh Jha, David Melski. SCP, 58(1-2):206-263, 2005. [doi]
- Precise Interprocedural Dataflow Analysis with Applications to Constant PropagationShmuel Sagiv, Thomas W. Reps, Susan Horwitz. tapsoft 1995: 651-665
- Demand Interprocedural Dataflow AnalysisSusan Horwitz, Thomas W. Reps, Shmuel Sagiv. ESEC/FSE 1995: 104-115 [doi]
- Demand Interprocedural Program Analysis Using Logic DatabasesThomas W. Reps. deductive 1993: 163-196
- Program Analysis Using Weighted Pushdown SystemsThomas W. Reps, Akash Lal, Nicholas Kidd. fsttcs 2007: 23-51 [doi]