Some Remarks on the Annotation %cons

Dieter Hutter1

October 20, 1999

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

Abstract

There has been a discussion about the definition of the annotation %cons in CASL. Within this note I like to point out some pitfalls for CASL-tools which have to support such annotations. This note is mostly a rephrase of well-known facts which have been published for instance by Paulo A.S. Veloso and TSE Maibaum in [Veloso92, VV91, Maibaum97].
  • 1 What is the problem?
  • 2 What are the consequences for CASL?
  • References
  • Footnotes
    • CoFI Note: T-8 -- Version:  -- October 20, 1999.
    Comments to hutter@dfki.de