Artículo:

On the complexity analysis of static analyses

Autor:

David McAllester

Página:

512

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

49

Número:

4

Periodo:

Julio 2002

ISSN:

00045411

SrcID:

00045411-2002-04.txt