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
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
|