OBSCURE a specification language for abstract data types

@article{Lehmann1993OBSCUREAS,
  title={OBSCURE a specification language for abstract data types},
  author={Thomas Lehmann and Jacques Loeckx},
  journal={Acta Informatica},
  year={1993},
  volume={30},
  pages={303-350}
}
OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description ofOBSCURE.First, the different language constructs are illustrated by the help of examples. The syntax and semantics of the language are then defined formally. The consistency of these definitions is stated in two theorems. Next, a set of formulas is associated with each… CONTINUE READING

Figures and Topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
SHOWING 1-10 OF 39 REFERENCES

The OBSCURE manual

J. Fucbs, A. Hoffmann, +4 authors J. Zeyer
  • Part 1: Editing and rapid prototyping. Internal Report, UniversitLit Saarbrticken
  • 1991
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Das Fallbeispiel LEX

A. Ayari, S. Friedrich, R. Heckler, J. Loeckx
  • Internal Report WP92/39, Universit~it Saarbriicken
  • 1992
VIEW 1 EXCERPT

Erweiterung des OBSCURE-Systems

J. Zeyer
  • Internal Report WP 92/31, Universit~it Saarbriicken
  • 1992
VIEW 1 EXCERPT

Spezifikation eines LEX-artigen Scanners

R. Hettler
  • Eine SPECTRUM Fallstudie. Internal Report, TU Mtinchen
  • 1992
VIEW 1 EXCERPT