Static analysis; Data Flow Analysis (DFA); Abstract Interpretation; Generic programming errors; Safety requirements; Interrupt; Exception; Inter-procedural CFG;
机译:用于多Agent系统的领域特定建模语言中调试的概念通用框架
机译:将静态代码分析应用于特定领域的语言
机译:领域特定的建模语言的本体分析框架
机译:用于域的域语言的通用静态分析框架
机译:通用库的高级静态分析
机译:广泛使用的第一编程语言的评估框架和比较分析
机译:使用参考属性语法重用不同域特定语言的静态分析