Conference
State space reduction in abstract interpretation of parallel programs
| Τίτλος: | State space reduction in abstract interpretation of parallel programs |
|---|---|
| Συγγραφείς: | Jyh-Herng Chow, Harrison, W.L., III |
| Πηγή: | 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) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| DOI: | 10.1109/ICCL.1994.288373 |
|---|