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