×

zbMATH — the first resource for mathematics

Foundations of heterogeneous specification. (English) Zbl 1278.68208
Wirsing, Martin (ed.) et al., Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24–27, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-20537-3/pbk). Lect. Notes Comput. Sci. 2755, 359-375 (2003).
Summary: 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.
For the entire collection see [Zbl 1028.00034].
Reviewer: Reviewer (Berlin)

MSC:
68Q65 Abstract data types; algebraic specification
Software:
CASL
PDF BibTeX XML Cite
Full Text: DOI