Subsorting and structured specification

Till Mossakowski1

26 March 1997

This document is available for browsing on WWW, and in various formats for printing by FTP.

Abstract

We describe the points and problems where subsorting and structured specification interact. These concern the overloading relations, implicit subsort cycles, and compound identifiers. We briefly sketch the interaction of subsorting with freeness requirements.

Contents

  • 1 Overloading relations
  • 2 Implicit subsort cycles
  • 3 Compound identifiers
  • 4 Freeness
  • References
  • Footnotes
    • This document was converted from LaTeX2e sources to HTML using Hyperlatex 2.2.
    CoFI Note: S-3 --1.0-- 26 March 1997.
    Comments to till@informatik.uni-bremen.de