Searched refs:logics (Results 1 - 6 of 6) sorted by relevance

/hets/doc/
H A DUserGuideCommonLogic.tex210 being individual logics (with their analysis and proof tools) as well
224 analysis of the different involved logics, as well as a
272 logics, like logical consequences, relative interpretations of
278 \CASL (Common Algebraic Specification Language \cite{CASL-UM,CASL/RefManual}) to arbitrary logics
281 combinations of specifications written in different logics.
286 currently supported logics and logic translations (the latter are also
303 %% dto., but across different logics
310 translate them to other logics. \emph{Architectural specifications}
320 \Hets supports a variety of different logics. The following are most important for use with Common Logic:
327 \caption{Graph of logics relate
[all...]
H A DUserGuide.tex153 expansion cards here being individual logics (with their analysis and
154 proof tools) as well as logic translations. Individual logics and
174 \CASL \cite{CASL-UM,CASL/RefManual} to arbitrary logics
177 combination of specification written in different logics.
182 currently supported logics and logic translations (the latter are also
214 translate them to other logics. \emph{Architectural specifications}
220 analysis of the different involved logics, as well as a
234 The following list of logics (formalized as so-called institutions
241 \caption{Graph of logics currently supported by \Hets. The more an
431 Moreover, LF can be used as a logical framework to add new logics i
[all...]
H A Dhs2isa.tex51 supporting several logics --- in particular, Isabelle/HOL is the
/hets/
H A DMakefile104 # the list of logics that need ShATermConvertible instances
105 logics = CASL HasCASL Isabelle Modal Hybrid TopHybrid Temporal \ macro
140 logics += Haskell
351 # ATC DrIFT-rule generation for logics
459 # all ATC .der.hs files for all logics
460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
/hets/debian/
H A Drules104 # the list of logics that need ShATermConvertible instances
105 logics = CASL HasCASL Isabelle Modal Hybrid TopHybrid Temporal \ macro
140 logics += Haskell
351 # ATC DrIFT-rule generation for logics
459 # all ATC .der.hs files for all logics
460 atc_logic_files = $(foreach logic, $(logics), $(logic)/ATC_$(logic).der.hs)
/hets/Maude/doc/
H A Dmaude.tex10 present both logics and how their specifications are represented as Maude modules.

Completed in 1628 milliseconds