SRDL
Technology Dictionary
-> SRDL
Search:
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].
©
Art Branch Inc.
SQL Tutorial