H ?
«
‹
←
→
›
»
Language peer sets for OBSCURE:
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
OBSCURE(ID:1171/obs001)
alternate simple view
Designed 1985
Published: 1985
Specification Language
References:
Loeckx, J. (1985) Loeckx, J. "A Formal Description of the Specification Language OBSCURE" TR A85/15, U Saarlandes, Saarbrucken, 1985.
(1988) Lehmann T. and J. Loeckx. The specification language of OBSCURE. In Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, pages 131-153. Springer LNCS 332, 1988
Lehmann, Thomas and Loeckx, Jacques (1993) Lehmann, Thomas and Loeckx, Jacques "OBSCURE: A Specification Language for Abstract Data Types" pp303-350
in (1993) Acta Informatica 30(4) July, 1993
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|