搜索结果: 1-1 共查到“数学 Semantics”相关记录1条 . 查询时间(0.125 秒)
Demonic operational and denotational semantics
Operational semantics Denotational semantics
2010/9/10
Over the years, different approaches to give semantics of programming and specification language have been put forward. We restrict ourselves to the operational and the denotational approach, two main...