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
{"_id":"yW5HpoXav7GkE4isz","bibbaseid":"mossakowski-specificationsinanarbitraryinstitutionwithsymbols-2000","author_short":["Mossakowski, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Mossakowski"],"firstnames":["Till"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bert"],"firstnames":["Didier"],"suffixes":[]},{"propositions":[],"lastnames":["Choppy"],"firstnames":["Christine"],"suffixes":[]},{"propositions":[],"lastnames":["Mosses"],"firstnames":["Peter","D."],"suffixes":[]}],"year":"2000","pages":"252–270","bibtex":"@inproceedings{mossakowski_specifications_2000,\n\taddress = {Berlin, Heidelberg},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Specifications in an {Arbitrary} {Institution} with {Symbols}},\n\tisbn = {978-3-540-44616-3},\n\tdoi = {10/fmqkpw},\n\tabstract = {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.},\n\tlanguage = {en},\n\tbooktitle = {Recent {Trends} in {Algebraic} {Development} {Techniques}},\n\tpublisher = {Springer},\n\tauthor = {Mossakowski, Till},\n\teditor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.},\n\tyear = {2000},\n\tpages = {252--270},\n}\n\n","author_short":["Mossakowski, T."],"editor_short":["Bert, D.","Choppy, C.","Mosses, P. D."],"key":"mossakowski_specifications_2000","id":"mossakowski_specifications_2000","bibbaseid":"mossakowski-specificationsinanarbitraryinstitutionwithsymbols-2000","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["specifications","arbitrary","institution","symbols","mossakowski"],"title":"Specifications in an Arbitrary Institution with Symbols","year":2000}