Lines Matching defs:definition
17 to the first one with a free definition link (whose signature morphism
46 the union of the information in both summands. A definition link
77 The \verb"including" mode generates a global definition link between the
201 definition links.
203 \subsection{Normalization of free definition links}
212 definition links in \CASL have been unsuccessful. We decided thus to
239 Now, we consider a Maude non-persistent free definition link and let
251 Given a free non-persistent definition link $\flinka{M}{\sigma}{N}$, with
254 $\Sigma^\#_N$, a global definition link from $M'$ to $M''$ labeled with the
255 inclusion $\iota_N$ of $\Sigma_N$ in $\Sigma^\#_N$, a free definition link from
257 $\sigma^\#$ and a hiding definition link from $K$ to $N'$ labeled with the
275 The next step is to eliminate \CASL free definition links.
297 Given a free definition link $\flinka{M}{\sigma}{N}$, with
314 signature $\Sigma$ of the morphism $\sigma$ labelling the free definition link.