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].

Try this search on Wikipedia, OneLook, Google

Nearby terms: SRAM « SRAPI « SRC Modula-3 « SRDL » SR flip-flop » SRI » SRI International


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.