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

/hets/doc/
H A DUserGuideCommonLogic.tex34 pdftitle={Hets for Common Logic Users}]
152 \title{{\bf \protect{\LARGEHets} for Common Logic Users}\\
168 Common Logic (CL) is an ISO standard published as ``ISO/IEC 24707:2007
169 --- Information technology — Common Logic (CL): a framework for a family
178 several kinds of tool support for Common Logic:
180 \item a parser for the Common Logic Interchange Format (CLIF) --- CLIF
235 \Hets supports a number of input languages directly, such as Common
239 \subsection{Common Logic and the Common Logic Interchange Format (CLIF)}
241 CLIF is specified in Annex A of the Common Logi
[all...]
/hets/Common/doc/
H A DOverview.tex8 \title{Common infrastructure for the CASL language family}
20 The directory \texttt{Common} contains basic utilities and data types that are
28 \texttt{cd HetCATS/Common} and call \texttt{./ghc-call} (a script that contains
71 \section{Source files in \texttt{HetCATS/Common}}
80 \texttt{PrecedenceGraph} is based on a relation \texttt{Common.Lib.Rel})
106 The directory \texttt{Common/Lib} contains further source files.
108 \texttt{Common/Lib/Pretty.lhs} is an adapted copy of\\
118 \texttt{consumeNothing}) and included in the \texttt{Common/Lib}

Completed in 1316 milliseconds