Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Dynamic Dispatch for Method Contracts through Abstract Predicates

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Wojciech Mostowski und Mattias Ulbrich
In:14th International Conference on Modularity (Modularity'15)
Verleger:ACM
Jahr:2015
Seiten:109-116
Preprint/PDF:MostowskiUlbrich2015.pdf
DOI:10.1145/2724525.2724574

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