Home  |  deutsch  |  Legals  |  Data privacy  |  Sitemap  |  KIT

Dynamic Dispatch for Method Contracts through Abstract Predicates

Reviewed Paper In Proceedings

Author(s):Wojciech Mostowski and Mattias Ulbrich
In:14th International Conference on Modularity (Modularity'15)
Publisher:ACM
Year:2015
Pages:109-116
Preprint/PDF:MostowskiUlbrich2015.pdf

BibTeX

@INPROCEEDINGS{MostowskiUlbrich2015,
  author = {Wojciech Mostowski and Mattias Ulbrich},
  title = {Dynamic Dispatch for Method Contracts through Abstract Predicates},
  booktitle = {14th International Conference on Modularity (Modularity'15)},
  publisher = {ACM},
  _keywords = {Modular Specification, Design by Contract, Dynamic
              Dispatch, Abstract Predicates, JML},
  year = {2015},
  month = mar,
  pages = {109--116},
  doi = {10.1145/2724525.2724574}
}