KIT | KIT-Bibliothek | Impressum

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 DOI: 10.1007/978-3-319-46969-0_7
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
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page