@article{Mossakowski_2018,
  abstract = {We combine CASL’s pushout-style generic specification with DOL’s filtering, the latter being a syntactic removal of parts of a specification. The challenge is that now the body of
a generic specification can remove parts of the formal parameter. This cannot be handled
with usual pushout semantics, but calls for a semantics of “match, delete, glue in” as used
in the theory of graph grammars. We hence employ Heindel’s theory of MipMap categories
as a basis for the use of pushouts in categories of partial maps. We introduce a notion of
MipMap institution that can serve as a semantic background for a partial pushout semantics of generics with filtering.},
  added-at = {2018-11-08T14:38:37.000+0100},
  author = {Mossakowski, Till and Krieg-Brückner, Bernd},
  biburl = {https://www.bibsonomy.org/bibtex/293cdd8a227db55eaf4869e044ce183d9/tillmo},
  doi = {10.1016/j.tcs.2018.03.021},
  interhash = {4b14f9fce012941ced10d7e4c5e71a8a},
  intrahash = {93cdd8a227db55eaf4869e044ce183d9},
  journal = {Theoretical Computer Science},
  keywords = {casl institution logic myown},
  month = sep,
  pages = {58--70},
  publisher = {Elsevier {BV}},
  timestamp = {2018-11-08T14:38:37.000+0100},
  title = {Partial pushout semantics of generics in {DOL}},
  url = {https://doi.org/10.1016%2Fj.tcs.2018.03.021},
  volume = 741,
  year = 2018
}