Conference
State space reduction in abstract interpretation of parallel programs
| Title: | State space reduction in abstract interpretation of parallel programs |
|---|---|
| Authors: | Jyh-Herng Chow, Harrison, W.L., III |
| Source: | Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) Computer Languages, 1994., Proceedings of the 1994 International Conference on. :277-288 1994 |
| Relation: | Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94) |
| Database: | IEEE Xplore Digital Library |
Be the first to leave a comment!