DMCA
Foundations of Heterogeneous Specification
Cached
Download Links
- [www.informatik.uni-bremen.de]
- [informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- [www.informatik.uni-bremen.de]
- DBLP
Other Repositories/Bibliography
by
Till Mossakowski
| Citations: | 17 - 3 self |
BibTeX
@MISC{Mossakowski_foundationsof,
author = {Till Mossakowski},
title = {Foundations of Heterogeneous Specification},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We provide a semantic basis for heterogeneous specifications that not only involve different logics, but also different kinds of translations between these. We show that Grothendieck institutions based on spans of (co)morphisms can serve as a unifying framework providing a simple but powerful semantics for heterogeneous specification.
