%0 Book Section %1 Mossakowski00c %A Mossakowski, T. %B Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France %D 2000 %E Choppy, C. %E Bert, D. %E Mosses, P. %I Springer Verlag, London %K CASL institution semantics %P 252--270 %T Specification in an arbitrary institution with symbols %U http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,8,38; %V 1827 %X 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. %@ 3-540-67898-0

@incollection{Mossakowski00c, 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.}, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/27e0c9eec66f5022f4e27d50822448765/tillmo}, booktitle = {Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France}, editor = {Choppy, C. and Bert, D. and Mosses, P.}, interhash = {b2cb89b3dec057e6a803c8da092857bf}, intrahash = {7e0c9eec66f5022f4e27d50822448765}, isbn = {3-540-67898-0}, keywords = {CASL institution semantics}, pages = {252--270}, psurl = {http://www.informatik.uni-bremen.de/~till/papers/inst.ps}, publisher = {Springer Verlag, London}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {Specification in an arbitrary institution with symbols}, url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,8,38;}, volume = 1827, year = 2000 }