OBSCURE, A New Specification Language

  • Claus-Werner Lermen
  • Jacques Loeckx
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 116)


Recently several specification languages based on the use of abstract data types have been proposed in the literature: CLEAR [BG 77, Sa 84], ACT ONE [EM 85], OBJ2 [FGJM 85], ASL [SW 83], Extended ML [ST 85, Sa 85]. The specification language OBSCURE differs from these languages in the following respects.


Specification Language Algorithmic Specification Quotient Algebra Abstract Data Type Global Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BG 77]
    Burstall, R.M., Goguen, J.A., Putting theories together to make specifications, Proc. 5th Joint Conf. on Art. Int., Cambridge, pp. 1045–1058 (1977)Google Scholar
  2. [EM 85]
    Ehrig, H., Mahr, B., Fundamentals of Algebraic Specification, Springer-Verlag, 1985MATHCrossRefGoogle Scholar
  3. [FGJM 85]
    Gutatsugi, K., Goguen, J., Jouannaud, J.-P., Meseguer, J., Principles of OBJ2, Proc. 12th POPL Conf., pp. 52 – 66 (1985)Google Scholar
  4. [Le 85]
    Lermen, C.W., The specification language OBSCURE, Int. Rep. A 85/11, Univ. Saarbrü;cken (1985)Google Scholar
  5. [LL 85]
    Lermen, C.W., Loeckx, J., Obscure: A language for interactive top-down specification, Int. Rep. A 85/16, Univ. Saarbrücken (November 19 85)Google Scholar
  6. [Lo 81]
    Loeckx, J., Algorithmic specifications of abstract data types, Proc. ICALP 81, LNCS 115 (1981), 129–147Google Scholar
  7. [Lo 84]
    Loeckx, J., Algorithmic specifications: A constructive specification method for abstract data types, Int. Rep. A 84/03, Univ. Saarbrücken (1984). To appear in TOPLAS Google Scholar
  8. [Lo 85]
    Loeckx, J., A formal description of the specification language OBSCURE, Int. Rep. A 85/15, Univ. Saarbrücken (November 1985)Google Scholar
  9. [Sa 84]
    Sannella D., A set-theoretic semantics for CLEAR, Acta Inform. 21, 5, 443–472 (1984)MathSciNetMATHCrossRefGoogle Scholar
  10. [Sa 85]
    Sannella, D. , The semantics of Extended ML, draft (May 19 85)Google Scholar
  11. [ST 85]
    Sannella, D., Tarlecki, A., Program specification and development in standard ML, Proc. 12th POPL Conf., pp. 67–77 (1985)Google Scholar
  12. [SW 83]
    Sannella, D., Wirsing, M., A kernel language for algebraic specification and implementation, Proc. Int. Coll. FCT, LNCS 158, 413 – 427, 1983MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Claus-Werner Lermen
    • 1
  • Jacques Loeckx
    • 1
  1. 1.Fachrichtung 10.2 InformatikUniversität des SaarlandesSaarbrückenGermany

Personalised recommendations