KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-319-46969-0_7

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 2016
Sprache Englisch
Identifikator ISBN: 978-3-319-46968-3
ISSN: 0302-9743
KITopen-ID: 1000062224
Erschienen in Transactions on Modularity and Composition I
Verlag Springer, Berlin
Seiten 238-267
Serie Lecture Notes in Computer Science ; 9800
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page