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 |
| 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 |