Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language

Revised ACT ONE is an updated version of the algebraic specification language ACT ONE, the semantics of which will be described following a denotational style. The revised edition has a more application oriented syntax, an improved handling of common subspecifications as well as initial constraints. Initial constraints have strong consequences on the underlying semantics due to the fact that “algebraic specifications with constraints” must be used instead of “algebraic specifications”.