KIT | KIT-Bibliothek | Impressum | Datenschutz

Dynamic Dispatch for Method Contracts Through Abstract Predicates

Mostowski, Wojciech; Ulbrich, Mattias ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1007/978-3-319-46969-0_7
Scopus
Zitationen: 2
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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-Verlag
Seiten 238-267
Serie Lecture Notes in Computer Science ; 9800
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page