KIT | KIT-Bibliothek | Impressum | Datenschutz

Dynamic Dispatch for Method Contracts through Abstract Predicates

Mostowski, Wojciech; Ulbrich, Mattias ORCID iD icon


Download
Originalveröffentlichung
DOI: 10.1145/2724525.2724574
Dimensions
Zitationen: 4
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2015
Sprache Englisch
Identifikator ISBN: 978-1-4503-3249-1
KITopen-ID: 1000052968
Erschienen in 15th International Conference on MODULARITY (MODULARITY15), proceedings : March 16-19, 2015, Fort Collins, CO, USA. Ed.: R. France
Verlag Association for Computing Machinery (ACM)
Seiten 109-116
Bemerkung zur Veröffentlichung To appear
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page