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:

SRAMSRAPISRC Modula-3SRDLSR flip-flopSRISRI International

Try this search on Wikipedia, OneLook, Google


Loading