Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
论文与出版物
按年份分类的论文与出版物
按研究领域分类的论文与出版物
-
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
-
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010
按类型分类的论文与出版物
-
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Patrice Godefroid, Aditya Nori, Sriram Rajamani, Sai Deep Tetali
Principles of Programming Languages (POPL) | January 2010