Maude system

implementation of rewriting logic developed at SRI International

en-US/ˈmɔd ˈsɪstəm/

دسته بندی ها:

softwareprogramming language