A Categorical Characterization of Consistency Results

Christel BaierChristel Baier, Mila E. Majster-CederbaumMila E. Majster-Cederbaum

DOI Link

Christel Baier, Mila E. Majster-Cederbaum
A Categorical Characterization of Consistency Results
5th International Conference on Algebraic Methodology and Software Technology (AMAST), volume 1101 of Lecture Notes in Computer Science, 473--486, 1996. Springer

Details
Bibtex

KurzfassungAbstract
It is meaningful that a language is provided with several semantic descriptions: e.g. one which serves the needs of the implementor, another one that is suitable for specification and yet another one that will be used to explain the language to the user. In this case one has to guarantee that the various semantics are ’consistent’. The attempt of this paper is to clarify the notion ’consistency’ and to give categorical characterizations of consistency results. Applications to verification as well as compositional semantics are considered.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/BFb0014334.

@inproceedings{BM1996,
  author    = {Christel Baier and Mila E. Majster-Cederbaum},
  title     = {A Categorical Characterization of Consistency Results},
  booktitle = {5th International Conference on Algebraic Methodology and
               Software Technology (AMAST)},
  series    = {Lecture Notes in Computer Science},
  volume    = {1101},
  publisher = {Springer},
  year      = {1996},
  pages     = {473--486},
  doi       = {10.1007/BFb0014334}
}