「formal」の共起表現一覧(1語右が「semantics.」)
該当件数 : 15件
| Well-defined | formal semantics and support for formal analysis |
| Formal semantics: Description by mathematics. | |
| Main article: | Formal semantics of programming languages |
| Main articles: | Formal semantics (logic) and Interpretation (logic) |
| Standard ML, a dialect of ML with a | formal semantics |
| The | formal semantics of CTL* formulae are defined with re |
| Members of the OWL family have model theoretic | formal semantics, and so have strong logical foundati |
| Vereofy uses constraint automata as | formal semantics for the components behavior and for |
| n mathematical logic, algebraic semantics is a | formal semantics based on algebras studied as part of |
| contributions in the study of modal logic and | formal semantics, and is author of Modal Logic for Ph |
| Aside from | formal semantics, attribute grammars have also been u |
| The | formal semantics of a language is given by a mathemat |
| ve the correctness of the program based on the | formal semantics of program statements. |
| lent to the original, relative to a particular | formal semantics and in fewer cases the transformatio |
| In the | formal semantics of programming languages, two terms |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
