H ? « »

Language peer sets for ACT ONE:
Designed 1983
1980s languages
Fourth generation
Late Cold War
Specialised Languages
Specialised Languages/1983
Specialised Languages/de

ACT ONE(ID:1027/act016)

An Algebraic Specification Language 

alternate simple view
Country: Germany
Designed 1983
Published: 1983
Sammet category: Specialised Languages

Specification language.

Related languages
LOOK ACT ONE   Influence
ACT ONE ACT TWO   Successor
ACT ONE LOTOS   Based on

  • Ehrig, H. et al, (1983) Ehrig, H.; W. Fey, and H. Hansen. "ACT ONE: an algebraic specification language with two levels of semantics" Technical Report 83-03, Technische Universitat Berlin, 1983
  • (1985) Ehrig H. and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6. Springer, 1985
  • (1989) Classen. I. "Revised ACT ONE: categorical constructions for an algebraic specification language" in Proc. Workshop on Categorical Methods in Computer Science with Aspects from Topology, pages 124-141. Springer LNCS 393, 1989.
  • Bruns, Glenn (1991) Bruns, Glenn "A Language for value-passing CCS" LFCS report ECS-LFCS-91-175 Abstract Online copy
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: LOTOS and PSF Extract: ACT ONE Extract:
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder