@Article{MostowskiUlbrich2016,
author = {Wojciech Mostowski and Mattias Ulbrich},
title = {Dynamic Dispatch for Method Contracts through Abstract Predicates},
journal = {Transactions on Modularity and Composition},
volume = {1},
pages = {238--267},
year = {2016},
month = sep,
doi = {10.1007/978-3-319-46969-0_7}
}
Dynamic Dispatch for Method Contracts through Abstract Predicates
| Author(s): | Wojciech Mostowski and Mattias Ulbrich |
|---|---|
| Journal: | Transactions on Modularity and Composition |
| Volume: | 1 |
| Year: | 2016 |
| Pages: | 238-267 |
| DOI: | 10.1007/978-3-319-46969-0_7 |
Note
This article is published with open access.