Dynamic Dispatch for Method Contracts through Abstract Predicates

Zeitschriftenartikel

Autor(en):Wojciech Mostowski und Mattias Ulbrich
Zeitschrift:Transactions on Modularity and Composition
Band:1
Jahr:2016
Seiten:238-267
DOI:10.1007/978-3-319-46969-0_7

Anmerkung

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