You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL