Specification in an arbitrary institution with symbols
T. Mossakowski. Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, том 1827 из Lecture Notes in Computer Science, Springer Verlag, London, (2000)
Аннотация
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.
%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
}