Title:
ThecodeofmanycolorsSemi-automatedreasoningaboutmul
Download
Description: 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.
To Search:
File list (Check if you may need any files):
ThecodeofmanycolorsSemi-automatedreasoningaboutmulti-threadpolicyforJava.pdf
