Número de Documento     
Artículo:

Separation and information hiding

Autor:

Peter W. O'Hearn

Hongseok Yang

John C. Reynolds

Resumen:

We investigate proof rules for information hiding, using the formalism of separation logic

Página:

11.1

Publicación:

ACM Transactions on Programing Languajes and Systems

Volúmen:

31

Número:

3

Periodo:

Abril 2009

ISSN:

01640925

SrcID:

01640925-2009-03.txt

Número de Documento