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.




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