2-Categorical specification of partial algebras (English)
National licence
- New search for: Große-Rhode, Martin
- New search for: Wolter, Uwe
- New search for: Große-Rhode, Martin
- New search for: Wolter, Uwe
In:
Recent Trends in Data Type Specification
;
207-219
;
1994
- Article/Chapter (Book) / Electronic Resource
-
Title:2-Categorical specification of partial algebras
-
Contributors:Große-Rhode, Martin ( author ) / Wolter, Uwe ( author )
-
Published in:Recent Trends in Data Type Specification ; 207-219Lecture Notes in Computer Science ; 785 ; 207-219
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1994-01-01
-
Size:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Towards an algebraic semantics for the object paradigmGoguen, Joseph A. / Diaconescu, Razvan et al. | 1994
- 30
-
Rewriting techniques for software engineeringJouannaud, Jean-Pierre et al. | 1994
- 53
-
Identity and existence, and types in algebraPoigné, Axel et al. | 1994
- 79
-
Overloading and inheritanceWagner, Eric G. et al. | 1994
- 98
-
A SMoLCS based kit for defining high-level algebraic Petri netsBettaz, Mohamed / Reggio, Gianna et al. | 1994
- 113
-
Institutions for very abstract specificationsCerioli, M. / Reggio, G. et al. | 1994
- 128
-
About the “correctness” and “adequacy” of PLUSS specificationsChoppy, Christine et al. | 1994
- 144
-
Semantic constructions in the specification language GliderClérici, S. / Jiménez, R. / Orejas, F. et al. | 1994
- 158
-
On certification of specifications for TROLL light objectsConrad, Stefan et al. | 1994
- 173
-
Translating TROLL light concepts to MaudeDenker, G. / Gogolla, M. et al. | 1994
- 188
-
Algebraic high level netsEhrig, Hartmut / Padberg, Julia / Ribeiro, Leila et al. | 1994
- 207
-
2-Categorical specification of partial algebrasGroße-Rhode, Martin / Wolter, Uwe et al. | 1994
- 220
-
A behavioural algebraic framework for modular system design with reuseHennicker, Rolf / Nickl, Friederike et al. | 1994
- 235
-
On fibred adjunctions and completeness for fibred categoriesHermida, Claudio et al. | 1994
- 252
-
Implementing inequality and nondeterministic specifications with bi-rewriting systemsLevy, Jordi / Agustí, Jaume et al. | 1994
- 268
-
A semantic basis for logic-independent transformationLiu, Junbo et al. | 1994
- 280
-
Unified algebras and abstract syntaxMosses, Peter D. et al. | 1994
- 295
-
Structured inheritance for algebraic class specificationsPresicce, F. Parisi / Pierantonio, A. et al. | 1994
- 310
-
Towards a theory for the animation of algebraic specificationsRieckhoff, Catharina et al. | 1994
- 321
-
Second-order proof systems for algebraic specification languagesSchobbens, Pierre-Yves et al. | 1994
- 337
-
An institution of object behaviourSernadas, Amílcar / Costa, José Félix / Sernadas, Cristina et al. | 1994