In Bert, D., Choppy, C., & Mosses, P. D., editors, *Recent Trends in Algebraic Development Techniques*, of *Lecture Notes in Computer Science*, pages 252–270, Berlin, Heidelberg, 2000. Springer.

doi abstract bibtex

doi abstract bibtex

We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL.

@inproceedings{mossakowski_specifications_2000, address = {Berlin, Heidelberg}, series = {Lecture {Notes} in {Computer} {Science}}, title = {Specifications in an {Arbitrary} {Institution} with {Symbols}}, isbn = {978-3-540-44616-3}, doi = {10/fmqkpw}, abstract = {We develop a notion of institution with symbols and a kernel language for writing structured specifications in CASL. This kernel language has a semantics in an arbitrary but fixed institution with symbols. Compared with other institution-independent kernel languages, the advantage is that translations, hidings etc. can be written in a symbol-oriented way (rather than being based on signature morphisms as primitive notion), while still being institution-independent. The semantics of the kernel language has been used as the basis for the semantics of structured specifications in CASL.}, language = {en}, booktitle = {Recent {Trends} in {Algebraic} {Development} {Techniques}}, publisher = {Springer}, author = {Mossakowski, Till}, editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.}, year = {2000}, pages = {252--270}, }

Downloads: 0