Partiality

  • Subtypes
  • Subtypes Defined by Predicates
  • Two-Valued vs. Three-Valued Logics
  • Relations
  • Strict and Non-Strict Partial Functions
  • Infinite Objects
  • Non-Continuous Functions
  • by Bernd Krieg-Brückner

    This CFI Language Design Study Note contains several patterns related to partiality: about Subtypes Defined by Predicates. Two-Valued vs. Three-Valued Logics Relations, Strict and NonStrict Partial Functions, Infinite Objects, and Non-Continuous Functions.

    Patterns have not been qualified by asterisks yet.


    This document is part of the CoFI Study Notes. Any comments and corrections should be addressed to the author.

    It will be made available formatted for printing as compressed Postscript and DVI.

    The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!

    N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.


    CoFI Study Notes, May 14, 1996