「denotational」の共起表現一覧(1語右で並び替え)
該当件数 : 18件
| A term is first interpreted into a | denotational model of the λ-term structure, and then a c |
| It is a mixture of | denotational, operational and algebraic semantics. |
| contrast to the typical case when extending | denotational or operational semantics, which may require |
| A | denotational semantics guarantees the soundness of this |
| Selinger gives a | denotational semantics for these languages in a category |
| Denotational semantics concerns itself with finding more | |
| ls and involves two operations, with simple | denotational semantics defined in terms of lambda calcul |
| Attribute grammars can be understood as a | denotational semantics where the target language is simp |
| n important issue in the development of the | denotational semantics of concurrency, and later became |
| In | denotational semantics an object function f : A → B can |
| eveloped action semantics, a combination of | denotational semantics, operational and algebraic semant |
| He was one of the founders of | denotational semantics, and a pioneer in programming lan |
| It shows how | denotational semantics, operational semantics and algebr |
| computer science, where T0 spaces occur in | denotational semantics. |
| operational semantics (SOS) and his work on | denotational semantics. |
| ramming language semantics, typically using | denotational semantics. |
| rms in the λ calculus by appealing to their | denotational semantics. |
| elopment of both functional programming and | denotational semantics. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
