DOL 1.0 FTF Avatar
  1. OMG Issue

DOL — minimize can be used to express reachability models

  • Key: DOL-90
  • Status: closed  
  • Source: Otto von Guericke University of Magdeburg ( Dr Fabian Neuhaus)
  • Summary:

    If applied to algebraic signatures (sorts + operation symbols), minimize can be used to express reachability (i.e. term-generatedness) of first-order models. This should be clarified in the standard.

  • Reported: DOL 1.0b1 — Thu, 10 Aug 2017 21:22 GMT
  • Disposition: Resolved — DOL 1.0
  • Disposition Summary:

    *Added footnote to explain use of minimize *

    We added a footnote mentioning the use use minimize for expressing term-generatedness, and provided some datatype example (and corrected some other datatype example).

  • Updated: Mon, 2 Apr 2018 18:08 GMT
  • Attachments: