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

/hets/CASL/doc/
H A DCASLParserOverview.tex8 \title{CASL basic items}
18 \section{Compiling the CASL parser}
20 \texttt{cd HetCATS/CASL} and call \texttt{./ghc-call} (a script that contains
25 print) ``Basic Specification with Subsorts'' of the CASL Summary
26 version 1.0.1 \\ (www.brics.dk/Projects/CoFI/Documents/CASL/Summary/).
52 \texttt{Wrong*.casl} files contain wrong CASL code and should produce
68 \section{Source files in \texttt{HetCATS/CASL}}
71 \item[AS\_Basic\_CASL.der.hs] defines the abstract syntax tree for CASL
/hets/doc/
H A DLibraries.tex56 \newcommand{\CASL}{\textmd{\textsc{Casl}}\xspace }
72 \title{CASL libraries on the web}
78 \section{What the \CASL summary says}
88 \QUERY{CASL/Summary 9, \ldots:\\
154 this language are those of \CASL, plus some new heterogeneous
162 Languages currently supported by \Hets are \CASL, \HasCASL, \CspCASL
165 Now the proposal how to implement the \CASL library mechanism
175 \url{cvs-agbkb.informatik.uni-bremen.de:/repository/CASL-lib}
225 A CASL library is stored in a file ending ``.casl''. A directory having
242 consecutively, while \CASL versio
[all...]
/hets/Common/doc/
H A DOverview.tex8 \title{Common infrastructure for the CASL language family}
18 \section{Commonalities for all CASL extensions}
35 Basic CASL specifications must be parsed by \texttt{CASL/capa}.
51 \texttt{WrongMixIds.casl} contains wrong CASL ids and should produce
77 \item[CaslLanguage.hs] (unused) parser for CASL mixfix ids based on

Completed in 1916 milliseconds