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

/hets/HasCASL/doc/
H A DStaticAna.tex8 \title{The HasCASL language and its analysis}
18 \section{HasCASL Parser}
19 The HasCASL parser reuses the token (in \texttt{HToken.hs}) and
23 The abstract and concrete syntax of HasCASL are given in the summary
33 HasCASL entities are -- in hierarchical
77 in HasCASL any class names are legal to indicate a more specific
240 \section{Sources in \texttt{HetCATS/HasCASL}}
242 HasCASL only relies on stuff from \texttt{Common}.
251 \item[HToken.hs] extension of \texttt{Common.Token} for HasCASL
259 \item[ParseItem.hs] parsing basic (HasCASL) item
[all...]

Completed in 10 milliseconds