Searched defs:Maude (Results 1 - 1 of 1) sorted by relevance

/hets/Maude/doc/
H A Dmaude.tex3 As mentioned in the introduction, Maude modules are executable rewriting logic specifications.
6 by an underlying equational logic, for which Maude uses \emph{membership
10 present both logics and how their specifications are represented as Maude modules.
71 \subsection{Maude functional modules} \label{maudefmod}
73 Maude functional modules \cite[Chapter 4]{maude-book}, introduced
87 Maude does automatic kind inference from the sorts declared by the user and
143 case, Maude uses membership equational logic, as described in the
182 \subsection{Maude system modules}
184 Maude system modules \cite[Chapter 6]{maude-book}, introduced with
199 by Maude i
[all...]

Completed in 760 milliseconds