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].
| < Previous Terms | Terms Containing SRDL | Next Terms > |
| SR sr SRAM SRAPI SRC Modula-3 |
SR flip-flop SRI SRI International SRL SRP |
