H ? « »

Language peer sets for OBSCURE:
Designed 1985
1980s languages
Fifth generation
Late Cold War


alternate simple view
Designed 1985
Published: 1985

Specification Language

  • 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