Srdl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  SRDL
       
          Small {algebraic specification language}, allows {distfix
          operator}s.
       
          ["A Constructive Method for Abstract Algebraic Software


          Specification", H.  Klaeren, Theor Computer Sci 30,
          pp.134-204, 1984].