Artículo:

Flow-insensitive type qualifiers

Autor:

Jeffrey S. Foster

Robert Johnson

John Kodumal

Página:

1035

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

28

Número:

6

Periodo:

Noviembre 2006

ISSN:

01640925

SrcID:

01640925-2006-06.txt