搜索结果: 1-4 共查到“程序设计及其语言 Program Analysis”相关记录4条 . 查询时间(0.189 秒)
Building a Better Backtrace: Techniques for Postmortem Program Analysis
Building Better Backtrace Techniques Postmortem Program Analysis
2016/5/25
After a program has crashed, it can be difficult to reconstruct why the failure occurred, or what actions led to the error. We propose a family of analysis techniques that use the evidence left behind...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Bias-Variance Tradeoffs in Program Analysis
Program Analysis Machine Learning Verification
2016/5/24
It is often the case that increasing the precision of a program analysis leads to worse results. It is our thesis that this phenomenon is the result of fundamental limits on the ability to use precise...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.