Sciweavers

1 search results - page 1 / 1
» compass 1991
Sort
View
COMPASS
1991
14 years 2 months ago
Label Algebras: A Systematic Use of Terms
: We give the main definitions and results of a new framework for algebraic specifications: the framework of label algebras. The main idea underlying our approach is that the sem...
Gilles Bernot, Pascale Le Gall