OBSCURE a specification language for abstract data types

  title={OBSCURE a specification language for abstract data types},
  author={T. Lehmann and J. Loeckx},
  journal={Acta Informatica},
  • T. Lehmann, J. Loeckx
  • Published 2005
  • Computer Science
  • 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
    2 Citations

    Figures and Topics from this paper.

    Explore Further: Topics Discussed in This Paper

    Formal specifications with higher-order parameterization
    • 19


    How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language
    • 40
    Algorithmic specifications: a constructive specification method for abstract data types
    • 38
    Structured Algebraic Specifications: A Kernel Language
    • M. Wirsing
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1986
    • 169
    A constructive alternative to axiomatic data type definitions
    • 27
    • PDF
    Algebraic Specification
    • M. Wirsing
    • Computer Science, Mathematics
    • Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics
    • 1990
    • 708
    • PDF
    A Contructive Method for Abstract Algebraic Software Specification
    • H. Klaeren
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 1984
    • 31
    Toward formal development of programs from algebraic specifications: Parameterisation revisited
    • 47
    • PDF
    Institutions: abstract model theory for specification and programming
    • 1,167
    • PDF
    Fundamentals of Algebraic Specification 1
    • H. Ehrig, B. Mahr
    • Computer Science
    • EATCS Monographs on Theoretical Computer Science
    • 1985
    • 885
    Logic for Computable Functions: description of a machine implementation.
    • 98
    • PDF