A Relational Approach to Interprocedural Shape Analysis.

Saved in:

Bibliographic Details
Title:	A Relational Approach to Interprocedural Shape Analysis.
Authors:	Jeannet, Bertrand, Loginov, Alexey, Reps, Thomas
Source:	ACM Transactions on Programming Languages & Systems; Jan2010, Vol. 32 Issue 2, p5:1-5:52, 52p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/1667048.1667050