Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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