1、
2、
So, this paper addresses how to define program semantics on dynamic data structures.
本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。
互联网摘选
3、
4、
在线监测和离线分析可以对传输流的语法和语义进行分析，提取节目的相关信息，监测码流的传输状态。
互联网摘选
5、
在连续离散混合时间模型中考虑Verilog的语义行为，将混合模型中的一个区间作为Verilog程序一次运行过程的指称。
互联网摘选
6、
编译器实际上对在线程中使用程序顺序是可以有一些自由的&只要保留了as-if-serial语义。
互联网摘选
