antlr工具相关论文
为提高 web应用的安全性，笔者所在课题组提出一种应用程序切片技术的web分析模型，对网页代码进行大规模分析，旨在发现安全规则和安全......
基于形式化方法的需求规约过程以严格定义的语义和数学模型为基础,使得需求的表述更加清晰明了,易于理解。SCR方法是一种基于形式......
在对控制流图生成算法进行深入研究的基础上，基于分析器自动生成工具ANTLR，利用语法制导翻译技术，构造具有自动生成程序控制流图功能......
