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:
| Autores principales: | Fähndrich, M., Garbervetsky, D., Schulte, W. |
|---|---|
| Formato: | JOUR |
| Acceso en línea: | 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: Garbervetsky, Diego
Publicado: (2008) -
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)