Wednesday, March 10, 2010
Static-Analysis: Parallel Programs
This year (2010) one of my goals is to try implementing "Static-Analysis: Parallel Programs" as a program verification tool for message passing interface programs. It's implementation is a deep topic, so obviously the disclosure as a product would be in brief but not a detailed description of passes developed.
Subscribe to:
Post Comments (Atom)
1 comment:
We would like to have the solution sooner
Post a Comment