%0 Journal Article %1 Mossakowski_2018 %A Mossakowski, Till %A Krieg-Brückner, Bernd %D 2018 %I Elsevier BV %J Theoretical Computer Science %K casl institution logic myown %P 58--70 %R 10.1016/j.tcs.2018.03.021 %T Partial pushout semantics of generics in DOL %U https://doi.org/10.1016%2Fj.tcs.2018.03.021 %V 741 %X 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.

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