Bibliography

1

J. P. Banning.
An efficient way to find the side effects of procedure calls and the aliases of variables.
In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 29-41. ACM Press, 1979.

2

J. M. Barth.
A practical interprocedural data flow analysis algorithm.
Commun. ACM, 21(9):724-736, 1978.

3

D. Callahan.
The program summary graph and flow-sensitive interprocedual data flow analysis.
In Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, pages 47-56. ACM Press, 1988.

4

K. D. Cooper and K. Kennedy.
Interprocedural side-effect analysis in linear time.
In Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation, pages 57-66. ACM Press, 1988.

5

http://gcc.gnu.org.
The GNU Compiler Collection.

6

http://gcc.gnu.org/onlinedocs/gcc/Function Attributes.html.
Declaring Attributes of Functions.

7

http://suif.stanford.edu/suif/suif2/index.html.
The SUIF 2 Compiler System.

8

http://www.spec.org.
SPEC - Standard Performance Evaluation Corporation.

9

T. Marlowe and B. Ryder.
Properties of data flow frameworks.
Acta Informatica, 28:121-163, 1990.

10

S. S. Muchnick.
Advanced Compiler Design and Implementation.
Morgan Kaufmann, 1997.

11

E. M. Myers.
A precise inter-procedural data flow algorithm.
In Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 219-230. ACM Press, 1981.

12

B. Steensgaard.
Points-to analysis in almost linear time.
In Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 32-41. ACM Press, 1996.

13

W. E. Weihl.
Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables.
In Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 83-94. ACM Press, 1980.