H ? « ‹ ← → › »

Language peer sets for SRDL:
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

SRDL(ID:1120/srd001)

alternate simple view
Designed 1984
Published: 1984

Small algebraic specification language, allows distfix operators
References:
  • Klaeren (1984) Klaeren, H. "A Constructive Method for Abstract Algebraic Software Specification", Theor Computer Sci 30, pp.134-204, 1984.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder