Dynamic Dispatch for Method Contracts through Abstract Predicates

Journal Article

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.

BibTeX

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