论文部分内容阅读
采用自顶向下的LL（1）语法分析技术，设计一个程序静态分析器，对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计意图，实现语言平台的无关性。系统不仅优于传统的分析工具，而且具有良好的通用性。
程序理解中LL（1）抽象文法的设计与实现
【摘 要】
：
采用自顶向下的LL（1）语法分析技术，设计一个程序静态分析器，对源文法进行高级概念化抽象。可以从不同层次不同方面来得到源程序的设计意图，实现语言平台的无关性。系统不仅优于传
【机 构】
：
湘南学院计算机系,长沙理工大学计算机与通信工程学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2011年9期
【基金项目】
：
湖南省教育厅科研基金项目（编号：09C921）资助.
其他文献
为了提高门限签名方案的计算效率，石贤芝等（2013年）和张建中等（2012年）分别提出了标准模型下高效的门限签名方案。对两个方案构造了两个有效的伪造攻击：攻击者在不知道用户的私钥情
随着移动设备的普及，二维条码得到了广泛的应用，其主要是用于文本信息的存储，而对图像、声音和视频的存储是少之又少。用二维条码存储图像、声音和视频等信息会比文本存储的内容
该文研究了常微分方程d2u/dx2＋K（x）2n=0在（-1，1）上整体解的存在性，此问题源于H2上的预定保角高斯曲率问题，证明了一个存在定理，解释了其几何意义。
通过对Apache ODE结构以及部署、执行BPEL流程的原理分析,提出一种Apache ODE引擎环境下服务组合的自动化部署方案。实例测试结果表明了该方案的可行性与有效性.