denotational_semantics_网络释义

1. denotational semantics: 指称语义
指称语义（Denotational Semantics） 指称语义学认为，程序设计语言的语义是由其语言成份的语义决定的，而程序设计语言成份的语义应该是其本身固有的，与程序设计语...
dict.youdao.com
2. denotational semantics: 指称语义学
1973年straehy和scott提出了指称语义学(denotational semantics)〔‘〕,取得了形式语义理论的一次重大突破. IBM维也纳实验室基于指称语义学提出了著名的规范描述的形式方法一维也纳开发方法.
dict.youdao.com
3. denotational semantics: 标志语意
... 标志描述 denotational description 标志语意 denotational semantics 标志语意语言 Denotational Semantics Language ...
dict.youdao.com
4. denotational semantics: 外延语义学
... 外延迟时间 external delay time 外延语义学 denotational semantics 外因延迟 external delay ...
dict.youdao.com
5. Denotational Semantics Language: 标志语意语言

dict.youdao.com
6. denotational semantics method: 标志语意方法

dict.youdao.com
7. formal denotational semantics: 形式表示语义

dict.youdao.com
8. formal denotational semantics: 形式标志语意

dict.youdao.com
9. denotational semantics detail: 标志语意

dict.youdao.com
10. direct denotational semantics: 直接指称语义

dict.youdao.com