×

Initial behaviour semantics for algebraic specifications. (English) Zbl 0679.68026

Recent trends in data type specification. Specification of abstract data types, Sel. Pap. 5th Workshop, Gullane/UK 1987, Lect. Notes Comput. Sci. 332, 184-207 (1988).
[For the entire collection see Zbl 0653.00015.]
This paper may be considered as an attempt to obtain a synthesis of initial semantics and behavioural semantics. The initial algebra-like construction with behavioural semantics is discussed. A behaviour signature is considered as a signature of initial algebra with a set of observable sorts as an extra item. A considerable part of the article deals with the parameterized specifications. Their semantics is given by means of free constructions and their correctness is characterized. The semantics of parameter passing is presented.
Reviewer: G.Grigas

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68Q55 Semantics in the theory of computing
68P05 Data structures

Citations:

Zbl 0653.00015