×

Characterizing specification languages which admit initial semantics. (English) Zbl 0522.68026

Trees in algebra and programming, CAAP ’83, Proc. 8th Colloq., L’Aquila/Italy 1983, Lect. Notes Comput. Sci. 159, 300-316 (1983).

MSC:

68P05 Data structures
68Q60 Specification and verification (program logics, model checking, etc.)
03C99 Model theory

Citations:

Zbl 0516.00024