KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1145/2724525.2724574

Dynamic Dispatch for Method Contracts through Abstract Predicates

Mostowski, Wojciech; Ulbrich, Mattias



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 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 ACM, New York (NY)
Seiten 109-116
Bemerkung zur Veröffentlichung To appear
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page