H ?
«
‹
←
→
›
»
Language peer sets for ACT ONE:
Germany↑
Germany/1983↑
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
References:
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
|