机译:蛋白石:基于本体的计划分析的可扩展框架
IIT Madras Comp Sci & Engn Chennai Tamil Nadu India;
IIT Madras Comp Sci & Engn Chennai Tamil Nadu India;
IIT Madras Comp Sci & Engn Chennai Tamil Nadu India;
program analysis using ontology; program knowledge bases; program triples; semantic triples; SPARQL analysis specification;
机译:EVF:用于编程语言重用的可扩展表达性访客框架
机译:基于模型的框架,用于为IBM InfoSphere Streams构建可扩展的高性能流处理中间件和编程语言
机译:用于约束编程的可扩展自主搜索框架
机译:OpenARC:可扩展的OpenACC编译器框架,用于基于指令的加速器编程研究
机译:一个集成的静态和动态程序分析框架,用于检查与并发相关的编程错误。
机译:QDECR:R中灵活可扩展的顶点分析框架
机译:可扩展的静态分析框架,用于模型管理程序的自动分析,验证和性能改进