SRDL


Also found in: Acronyms.

SRDL

Small algebraic specification language, allows distfix operators.

["A Constructive Method for Abstract Algebraic Software Specification", H. Klaeren, Theor Computer Sci 30, pp.134-204, 1984].
References in periodicals archive ?
Some of the SRDLs gave haul-out information for more than a year, and for those animals (n = 5) the period 1-30 August in the following year was also included in the analyses.
However, the mean fraction of this time for which the SRDLS did achieve data coverage was very high (0.
Even walruses equipped with SRDLs that had moved out of the Svalbard area for periods of the year (i.