Artículo:

A relational approach to interprocedural shape analusis

Autor:

Jeannet

Loginov

Reps

Sagiv

Página:

5

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

32

Número:

2

ISSN:

01640925

SrcID:

01640925-2010-02.txt