Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types

@article{Loeckx1987AlgorithmicSA,
  title={Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types},
  author={Jacques Loeckx},
  journal={ACM Trans. Program. Lang. Syst.},
  year={1987},
  volume={9},
  pages={646-685}
}
This paper presents a new specification method for abstract data types and a pertaining logic. The specification method proposed differs from the classical algebraic one by its constructive, yet abstract nature. Although it leads to a different style in specification, the method avoids some fundamental problems inherent in the algebraic specification method. The logic proposed is essentially a first-order logic for strict (partial) functions. It allows in particular the expression of the… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Ein Kalkiil fur algorithmische Spezifikationen

  • R. TREINEN
  • Master’s thesis, FB 10, Universitlit Saarbrticken…
  • 1986
Highly Influential
4 Excerpts

AFFIRM Reference Manual

  • D. H. THOMPSON, Ed
  • 1979
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…