Searched +refs:hets +refs:program (Results 1 - 4 of 4) sorted by relevance

/hets/FreeCAD/specifications/
H A Dgoals.tex19 \newcommand{\hets}{Hets\xspace}
39 Given a document containing a \freecad design (typically a *.fcstd-file) we want to import it into \hets. This requires the following:
41 \item[Abstract Syntax:] an appropriate representation in \hets for \freecad designs,
46 \item[\hets Integration:] a complete integration of the \freecad logic into the \hets
48 \item[\hets tool:] a hook into the hets program to open \freecad documents from there, i.e., \bash{hets -g test.fcstd} should work
/hets/doc/
H A DUserGuide.tex139 Comments to: hets-users@informatik.uni-bremen.de \\
164 \includegraphics[width=0.45\textwidth]{hets-motherboard}
328 programming language Haskell and allows program constructs being
423 \verb+full-maude.maude+, \verb+hets.prj+, \verb+maude2haskell.maude+ and
552 as \HasCASL recursive program definitions \\\hline
553 HasCASL2Haskell & translation of \HasCASL recursive program definitions to Haskell \\\hline
574 \url{http://hets.eu}
587 sudo apt-add-repository ppa:hets/hets
589 sudo apt-get install hets
[all...]
H A DUserGuideCommonLogic.tex157 Comments to: \href{mailto:hets-users@informatik.uni-bremen.de}{hets-users@informatik.uni-bremen.de} \\
218 \includegraphics[width=0.45\textwidth]{hets-motherboard}
388 programming language Haskell and allows program constructs being
470 \url{http://www.dfki.de/sks/hets}
484 sudo apt-add-repository ppa:hets/hets
488 sudo apt-get install hets
494 hets-core} instead of \texttt{hets}
[all...]
H A Dhs2isa.tex136 %a target logic and an Haskell program, given as a GHC source file. The latter
634 \cite{Pollack} translating ML to HOL --- allowing for program
678 downloaded from \texttt{http://www.dfki.de/sks/hets}. More details

Completed in 48 milliseconds