Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language

@inproceedings{Claen1988RevisedAO,
  title={Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language},
  author={Ingo Cla{\ss}en},
  booktitle={Categorial Methods in Computer Science},
  year={1988}
}
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”. 

Topics from this paper.

Citations

Publications citing this paper.