OBSCURE a specification language for abstract data types

  title={OBSCURE a specification language for abstract data types},
  author={Thomas Lehmann and Jacques Loeckx},
  journal={Acta Informatica},
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

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications referenced by this paper.

The OBSCURE manual

  • J. Fucbs, A. Hoffmann, +4 authors J. Zeyer
  • Part 1: Editing and rapid prototyping. Internal…
  • 1991
Highly Influential
4 Excerpts

Das Fallbeispiel LEX

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

Erweiterung des OBSCURE-Systems

  • J. Zeyer
  • Internal Report WP 92/31, Universit~it…
  • 1992
1 Excerpt

Spezifikation eines LEX-artigen Scanners

  • R. Hettler
  • Eine SPECTRUM Fallstudie. Internal Report, TU…
  • 1992
1 Excerpt

A notion of implementation of the specification language OBSCURE , Proe . Workshop on Abstract Data Types ( Wusterhansen ) . ( Lect

  • T. Lehmann
  • Notes Comput . Sci .
  • 1991

Similar Papers

Loading similar papers…