(redirected from Rewriting logic)
Also found in: Dictionary, Thesaurus, Acronyms.
See: revision
References in periodicals archive ?
The Maude system consists in a high-level language of programming, specification and modeling based on rewriting logic [2, 15, 21].
The rewriting logic, having a sound and complete semantics, was introduced by Meseguer [14].
Maude is a specification and programming language based on the rewriting logic [14, 3].