Artículo:

Implicit Dynamic Frames

Autor:

J. Smans, B. Jacobs, F. Piessens

Página:

Article 2

Publicación:

ACM Transactions on Programming Languages and Systems

Volúmen:

34

Número:

1

Periodo:

Abril 2012

ISSN:

01640925

SrcID:

01640925-2012-01.txt