References

References

 [RS01]

N.~Rinetzky and M.~Sagiv. Interprocedural shape analysis for recursive programs. In Int. Conference on Compiler Construction (CC'01), volume 2027 of LNCS, 2001.

References