Specifications in an Arbitrary Institution with Symbols. Mossakowski, T. 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   
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