约 115,000 个结果
时间不限
在新选项卡中打开链接
- Domains that represent what programs doBroadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions or by games between the environment and the system.en.wikipedia.org/wiki/Denotational_semantics
- 其他用户还问了以下问题
Domains for denotational semantics | SpringerLink
仅显示来自 link.springer.com 的搜索结果Automata, Languages and Pr…
On reversal-bounded counter machines and on pushdown automata with a bound on …
Chapter Cover
由于此网站的设置,我们无法提供该页面的具体描述。
(PDF) Domains for Denotational Semantics. - ResearchGate
Domains for Denotational Semantics | Semantic Scholar
Domains for Denotational Semantics | Proceedings of the 9th …
Denotational semantics - Wikipedia
(PDF) Domains for denotational semantics
网页The kinds of spaces needed for denotational sematics involve not only spaces of higher type (e.g. function spaces) but also spaces defined reeursively (e.g. reflexive domains). Also required are many special …
Domains for Denotational Semantics - SciSpace by Typeset