UMIST-OBJ(ID:3681/umi001)
OBJ1 from University of Manchester Institute of Science and Technology
Related languages
OBJ1 |
=> |
UMIST-OBJ | |
Extension of |
References:
Derek Coleman, Robin Gallimore, and Victoria Stavridou. "The design of a rewrite rule interpreter from algebraic specifications" IEE Software Engineering Journal, July:95-104, 1987. view details
|