Amalgamation in Casl via enriched signatures

Amalgamation in Casl via enriched signatures (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Till Mossakowski , Andrzej Tarlecki

Venue:	International Colloquium on Automata, Languages and Programming, LNCS
Citations:	1 - 1 self

BibTeX

@INPROCEEDINGS{Mossakowski01amalgamationin,
    author = {Till Mossakowski and Andrzej Tarlecki},
    title = {Amalgamation in Casl via enriched signatures},
    booktitle = {International Colloquium on Automata, Languages and Programming, LNCS},
    year = {2001},
    pages = {993--1004},
    publisher = {Springer}
}

Bookmark

OpenURL

Abstract

Citations

816	S.: Categories for the working mathematician - Lane - 1998
425	Institutions: Abstract model theory for specification and programming - Goguen, Burstall - 1992
173	Jirí Rosicky, Locally Presentable and Accessible Categories - Adamek - 1994
152	Functorial Semantics of Algebraic Theories - Lawvere - 1963
134	Toward formal development of programs from algebraic specification revisited - Sanella, Tarlecki - 1988
106	Module algebra - Bergstra, Heering, et al. - 1990
57	A framework for de logics - Harper, Honsell, et al. - 1993
50	Using Category Theory to Design Implicit Conversions and Generic Operators, Semantics-Directed Compiler Generation - Reynolds - 1980
42	The Common Framework Initiative for algebraic specification and development, electronic archives. Notes and Documents accessible from http://www.brics.dk/Projects/CoFI - CoFI
20	Handbook of categorical algebra. 1 - Borceux - 1994
16	Categorical concepts for parameterized partial specification - Claen, Groe-Rhode, et al. - 1995
15	Extending development graphs with hiding - Mossakowski, Autexier, et al. - 2005
13	T.: Permissive Subsorted Partial Logic in CASL - Cerioli, Haxthausen, et al. - 1997
12	Checking Amalgamability Conditions for CASL Architectural Specifications - Klin, Hoffman, et al. - 2001
12	Casl: A guided tour of its design - Mosses - 1999
9	Speci in an arbitrary institution - Sannella, Tarlecki - 1988
8	Relations between abstract datatypes modeled as abstract datatypes - Baumeister - 1998
6	Logical support for modularisation, Logical environments (Gerard Huet and - Diaconescu, Goguen, et al. - 1993
5	Fundamentals of Algebraic Speci 2 - Ehrig, Mahr - 1990
5	An implementation of static semantics for architectural specifications - Klin - 2000
3	Permissive subsorted partial logic - Cerioli, Haxthausen, et al. - 1997
3	Semantics of architectural speci - Schroder, Mossakowski, et al. - 2001
2	Abstract and concrete - Adámek, Herrlich, et al. - 1990
2	Proof systems for structured speci cations and their re Algebraic Foundations of Systems Speci - Bidoit, Cengarle, et al. - 1999
2	Logical systems for structured speci Theoret - Borzyszkowski
1	Abstract and concrete categories, 2nd ed., Wiley Interscience - Ad'amek, Herrlich, et al. - 1990
1	Functorial theory of parameterized speci in a general speci framework, Theoret - Ehrig, Groe-Rhode - 1994
1	Some results on locally presentable categories - Makkai, Pitts - 1987
1	Amalgamation in the semantics of Casl, work in progress; preprint to be made available - Schroder, Mossakowski, et al.
1	of architectural speci in Casl, Fundamental Approaches to - Semantics - 2001