Artículo:

Fast Interprocedural Linear Two-Variable Equalities

Autor:

Flexeder, A.

Müller-Olm, M.

Petter, M.

Página:

21

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

33

Número:

6

Periodo:

2011

ISSN:

01640925

SrcID:

01640925-2011-06.txt