H ? « ‹ ← → › »

Language peer sets for CLEAR:
United States↑
United States/1976↑
Designed 1976 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

CLEAR(ID:945/cle002)

alternate simple view
Country: United States
Designed 1976
Published: 1976

Goguen and Burstall SRI

Specification language based on initial algebras.

Algebraic specification language with unusually powerful composition mechanisms for generic modules. The first specification language to have a rigorous semantics

People:
Related languages
CLEAR → OBJ   Evolution of
References:
  • Burstall and Goguen (1977) Burstall R. M. and J. A. Goguen "Putting theories together to make specifications" In Proc. 5th Intl. Joint Conf. on Artificial Intelligence, pages 1045-1058, 1977
  • Burstall and Goguen (1980) Burstall R. M. and J. A. Goguen. The semantics of CLEAR, a specification language. In Proc. Advanced Course on Abstract Software Specifications, pages 292-332. Springer LNCS 86, 1980
  • Burstall (1981) "An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The Correctness Problem in Computer Science, R.S. Boyer et al eds, A-P 1981, pp.185-213.
  • Sannella (1984) Sannella, D. "A Set-Theoretic Semantics for CLEAR" Acta Informatica, 21:443-472, 1984
  • 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: CLEAR Extract:
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder