首页> 外文OA文献 >Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics

【2h】

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics

机译：基于指称语义的Verilog操作语义的完整性，完整性和非冗余性

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Huibiao Zhu; Jonathan P. Bowen; He Jifeng;
展开▼
作者单位

展开▼
年度 2002
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. From algebraic semantics to denotational semantics for Verilog [J] . Huibiao Zhu, Jifeng He, Jonathan P. Bowen Innovations in Systems and Software Engineering . 2008,第4期

机译：从Verilog的代数语义到指称语义
2. From algebraic semantics to denotational semantics for Verilog [J] . Huibiao Zhu, Jifeng He, Jonathan P. Bowen Innovations in Systems and Software Engineering . 2008,第4期

机译：从Verilog的代数语义到指称语义
3. Linking denotational semantics with operational semantics for web services [J] . Huibiao Zhu, Jifeng He, Jing Li, Innovations in Systems and Software Engineering . 2010,第4期

机译：将指称语义与Web服务的操作语义链接
4. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics [C] . Zhu Huibiao, Jonathan P. Bowen, He Jifeng Formal Methods and Software Engineering . 2002

机译：基于指称语义的Verilog操作语义的完整性，完整性和非冗余性
5. The Smythe completion: A common topological foundation for denotational semantics and complexity analysis. [D] . Schellekens, Michel. 1995

机译：Smythe完成：用于指称语义和复杂性分析的通用拓扑基础。
6. Mind Operational Semantics and Brain Operational Architectonics: A Putative Correspondence [O] . Giulio Benedetti, Giorgio Marchetti, Alexander A Fingelkurts, 2010

机译：思维操作语义学与大脑操作建筑学：一种对应关系
7. From Operational Semantics to Denotational Semantics for Verilog [O] . Huibiao Zhu, Jonathan P. Bowen, He Jifeng 2001

机译：从Verilog的操作语义到指称语义
8. Relating Denotational and Operational Semantics for Programming Languages with Recursion and Concurrency [R] . Meyer, J. J. C., de Vink, E. P. 1989

机译：用递归和并发关系编程语言的指称和操作语义

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics

著录项

引文网络

相似文献

相关主题

期刊订阅