...Verilog 代数语义研究 - pdf.io Key words: Verilog; algebraic semantics; soundness; completeness; normal form reduction; event; event [gap=791]关键词: Verilog;代数语义;可靠性;完备性;范式归约;事...
基于122个网页-相关网页
... 代数规划语言 algebraic programming language 代数语意学 algebraic semantics 代数记号 algebraic sign ...
基于1个网页-相关网页
algebraic parallel semantics 代数并发语义
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。 这些定律可以从其指称语义证明，并用于程序的转化和优化。
Operational semantics and algebraic laws are very useful in practice.
形式化语义和代数法则在实践应用是很有用的。
应用推荐