A static analysis to detect re-entrancy in object oriented programs
We are interested in object-oriented programming methodologies that enable static verification of object-invariants. Reasoning soundly and effectively about the consistency of objects is still one of the main stumbling blocks to pushing object-oriented program verification into the mainstream. More...
Guardado en:
| Autor principal: | Garbervetsky, Diego |
|---|---|
| Publicado: |
2008
|
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_16601769_v7_n5_p5_Fahndrich http://hdl.handle.net/20.500.12110/paper_16601769_v7_n5_p5_Fahndrich |
| Aporte de: |
Ejemplares similares
-
A static analysis to detect re-entrancy in object oriented programs
por: Fähndrich, M., et al. -
Static Taint Analysis Applied to Detecting Bad Programming Practices in Android
por: Winniczuk, Gonzalo, et al.
Publicado: (2017) -
Static Taint Analysis Applied to Detecting Bad Programming Practices in Android
por: Yovine, Sergio, et al.
Publicado: (2018) -
Object-Oriented programming /
por: Cox, Brad J.
Publicado: (1991) -
Object-oriented programming /
Publicado: (1993)