抽象生成树(AST) 相关硕士博士期刊学术论文

传统的形式化方法局限于严格的证明、对程序员要求较高的教育背景，使其举步维艰。于是作为形式化方法与面向对象的联姻的SOFL（Struct......