有关Java编码方式改进方法的国外最新博士论文-it provides a language that developers can use to express thread usage policies and proviides a systematic way to improve code quality by assuring that as-written code complies with express thread usang policy.Thrid,it use a new combination of preexiting techniques to reduce the effort required to exoress models to very low levels.Forth,it demonstrates techniques that permit the analysis to operate on very large programs.Finally,it demonstrates techniques that permit straightforward and reliable incremental recomputation of result after a programe changs.