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