Enforcing structural invariants using dynamic frames

The theory of dynamic frames is a promising approach to handle the so-called framing problem, that is, giving a precise characterizations of the locations in the heap that a procedure may modify. In this paper, we show that the machinery used for dynamic frames may be exploited even further. In part...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Garbervetsky, Diego, Gorín, Daniel Alejandro
Publicado: 2011
Materias:
Abstract data types
Dynamic frame
Non-circular
Non-trivial
Programming language
Structural invariants
Theory of dynamics
Algorithms
Machinery
Trees (mathematics)
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6605LNCS_n_p65_Garbervetsky
http://hdl.handle.net/20.500.12110/paper_03029743_v6605LNCS_n_p65_Garbervetsky
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares