论文部分内容阅读
文章提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理。文章引入了轨迹概念和模型语言，然后讨论该语言的各句法成分所对应的语义论域，并对过程和函数进行了一些描述。
基于轨迹的指称语义方法
【摘 要】
：
文章提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理。文章引入了轨迹概念和模型语言
【机 构】
：
扬州教育学院计算机系
【出 处】
：
新疆师范大学学报(自然科学版)
【发表日期】
：
2007年3期
其他文献
本文主要讨论了具有二分类的赋权非完全偶图的最优分派问题,通过寻找一个具有最大权的亚完美对集,从而也就确定了具有最大权的对集,进而判断人员是否需要调整.
入侵检测、网络安全等工具的开发离不开数据包捕获.本文就Win32平台上用于数据包捕获的WinPcap的特点进行了分析,探讨了提高数据包捕获效率、减少数据包丢失的方法,并给出了