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...
Guardado en:
| Autores principales: | Garbervetsky, D., Gorín, D., Neisen, A. |
|---|---|
| Formato: | Artículo publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2011
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_03029743_v6605LNCS_n_p65_Garbervetsky |
| Aporte de: |
Ejemplares similares
-
Enforcing structural invariants using dynamic frames
por: Garbervetsky, D., et al. -
Enforcing structural invariants using dynamic frames
por: Garbervetsky, D., et al.
Publicado: (2011) -
Enforcing structural invariants using dynamic frames
por: Garbervetsky, Diego, et al.
Publicado: (2011) -
Program abstractions for behaviour validation
por: De Caso, G., et al. -
Program abstractions for behaviour validation
por: de Caso, Guido, et al.
Publicado: (2011)