KIT | KIT-Bibliothek | Impressum | Datenschutz

Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks

Graf, J.; Hecker, M.; Mohr, M.; Nordhoff, B.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator KITopen-ID: 1000038482
Erschienen in 1st International Workshop on Interference and Dependence (ID'13), Rome, Italy, January 21, 2013
Seiten 1-5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page