Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2012 |
Sprache | Englisch |
Identifikator | ISBN: 978-3-642-28868-5 ISSN: 1611-3349 KITopen-ID: 1000120863 |
Erschienen in | Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Ed.: H. Seidl |
Verlag | Springer-Verlag |
Seiten | 497–517 |
Serie | Lecture notes in computer science ; 7211 |
Nachgewiesen in | Dimensions Scopus |