Searched defs:modules (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.
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
182 \subsection{Maude system modules}
184 Maude system modules \cite[Chapter 6]{maude-book}, introduced with
192 module are the same as those of functional modules, namely, confluence,
212 In addition to the modules presented thus far, we present in this section
219 mechanisms to structure its modules. We describe in this section these
222 Maude modules ca
[all...]

Completed in 10 milliseconds