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].
Nearby terms:
SRAM « SRAPI « SRC Modula-3 « SRDL » SR
flip-flop » SRI » SRI International
|