- ホーム
- > 洋書
- > 英文書
- > Computer / Languages
基本説明
A revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs.
Full Description
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time.



