Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

SRDL

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

©2018 Martin Webb