 | From the Series از مجموعه : CSE Colloquia - 2005
Produced by تهيه كننده : University of Washington
Date تاريخ : 2005-04-14
Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Description توضيح : Binary decision diagrams (BDDs) are a data structure that can efficiently represent large relations and provide efficient set operations. BDDs have traditionally been used for model checking, formal verification, and optimizing circuit diagrams. In John Whaley’s research, BDDs are applied to the area of program analysis. In this colloquia, Whaley describes a scalable context-sensitive, inclusion-based pointer alias analysis for Java programs. His approach to context sensitivity is to create a clone of a method for every context of interest and run a context-insensitive algorithm over the expanded call graph to get context-sensitive results.
Related Links لينك‌های مرتبط : -
Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research Speaker(s) اجرا : #Error
Runtime مدت زمان : 00:57:34
Video Size حجم ويدئو : 162 MB
Number of Slides تعداد اسلايد‌ها : 251 (27 MB)
Program Analysis: Binary Decision Diagramsdownload دانلود ,ويدئو و اسلايد Video & Slide , از گروه Computer Sience & Engineering كامپيوتر و مهندسی كتابخانه اينترنتي دانش گستران جوان You Research
|
