Searched refs:logics (Results 1 - 6 of 6) sorted by relevance
/hets/doc/ |
H A D | UserGuideCommonLogic.tex | 210 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 D | UserGuide.tex | 153 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 D | hs2isa.tex | 51 supporting several logics --- in particular, Isabelle/HOL is the
|
/hets/ |
H A D | Makefile | 104 # 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 D | rules | 104 # 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 D | maude.tex | 10 present both logics and how their specifications are represented as Maude modules.
|
Completed in 1628 milliseconds