Methodological Considerations on the Use of Extension and Union

Hubert Baumeister1

18 Sep 1997

This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.

Abstract

In the following we give methodological hints for the use of extension and union. Please note that this is only a first, incomplete draft.
  • 1 How often to name a subspecification
  • 2 Why union AND extension?
  • 3 Rôle of conservative extension
  • 4 Complexity of specification expressions
  • Footnotes

  • CoFI Note: M-1 --0.1-- 18 Sep 1997.
    Comments to hubert@mpi-sb.mpg.de