Partial Pushout Semantics of Generics in DOL (bibtex)
by Till Mossakowski and Bernd Krieg-Brückner
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 partialmaps. We introduce a notion of MipMap institution that can serve as a semantic background for a partial pushout seman-tics of generics with filtering.
Reference:
Till Mossakowski and Bernd Krieg-Brückner, "Partial Pushout Semantics of Generics in DOL", Theoretical Computer Science (TCS), Elsevier, vol. 741, pp. 58-70, 2018.
Bibtex Entry:
@article{pub9684,
    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 partialmaps. We introduce a notion of MipMap institution that can serve as a semantic background for a partial pushout seman-tics of generics with filtering.},
    year = {2018},
    title = {Partial Pushout Semantics of Generics in DOL},
    lastupdate = {2019-07-29 11:21:10},
    journal = {Theoretical Computer Science (TCS)},
    volume = {741},
    pages = {58-70},
    publisher = {Elsevier},
    author = {Till Mossakowski and Bernd Krieg-Br{\"u}ckner},
    keywords = {Generic specification; Single-pushout transformation; Institution; Category of partial maps},
keywords={easecrc_human_cognition}
}
Powered by bibtexbrowser