DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   CLEAR
      <language> A specification language based on initial
    algebras.
      ["An Informal Introduction to Specification Using CLEAR",
      R.M. Burstall in The Correctness Problem in Computer Science,
      R.S. Boyer et al eds, Academic Press 1981, pp. 185-213].
      (1994-11-03)