| Art der Veröffentlichung: |
Artikel in Konferenzband |
| Autor: |
T. Mossakowski |
| Herausgeber: |
F. Parisi Presicce |
| Titel: |
Colimits of Order-Sorted Specifications |
| Buch / Sammlungs-Titel: |
Recent trends in algebraic development techniques. Proc. 12th International Workshop |
| Band: |
1376 |
| Seite(n): |
316 – 332 |
| Serie / Reihe: |
Lecture Notes in Computer Science |
| Erscheinungsjahr: |
1998 |
| Verleger: |
Springer Verlag, London |
| Abstract / Kurzbeschreibung: |
We prove cocompleteness of the category of CASL signatures, of monotone signatures, of strongly regular signatures and of strongly locally filtered signatures. This shows that using these signature categories is compatible with a pushout or colimit based module system. |
| Internet: |
http://dx.doi.org/10.1007/3-540-64299-4_42 |
| PostScript Version: |
http://www.informatik.uni-bremen.de/~till/papers/colimits.ps |
| Status: |
Reviewed |
| Letzte Aktualisierung: |
04. 08. 2006 |
