Dead code elimination based pointer analysis for multithreaded programs
This paper presents a new approach for optimizing multitheaded programs with pointer constructs. The approach has applications in the area of certified code (proof-carrying code) where a justification or a proof for the correctness of each optimization is required. The optimization meant here is tha...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SpringerOpen
2012-04-01
|
| Series: | Journal of the Egyptian Mathematical Society |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1110256X11000344 |