Optimization Under the Perspective of Soundness, Completeness, and Reusability - Correct System Design: Recent Insights and Advances - page 305

29. J. Knoop, B. Steen, and J. Vollmer. Parallelism for free: Bitvector analyses
! No state explosion! In Proceedings of the 1st International Workshop on
Tools and Algorithms for the Construction and Analysis of Systems ( TACAS'95 )
( Aarhus, Denmark ), Lecture Notes in Computer Science, vol. 1019, pages 264 {
289. Springer-Verlag, Heidelberg, Germany, 1995.
30. J. Knoop, B. Steen, and J. Vollmer. Parallelism for free: Ecient and optimal
bitvector analyses for parallel programs. ACM Transactions on Programming Lan-
guages and Systems , 18(3):268 { 299, 1996.
31. K. Marriot. Frameworks for abstract interpretation. Acta Informatica , 30:103 {
129, 1993.
32. E. Morel and C. Renvoise. Global optimization by suppression of partial redun-
dancies. Communications of the ACM , 22(2):96 { 103, 1979.
33. E. Morel and C. Renvoise. Interprocedural elimination of partial redundancies.
In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and
Applications , chapter 7, pages 160 { 188. Prentice Hall, Englewood Clis, New
Jersey, 1981.
34. R. Morgan. Building an Optimizing Compiler . Digital Press, 1998.
35. S. S. Muchnick. Advanced Compiler Design and Implementation . Morgan Kauf-
mann, San Francisco, California, 1997.
36. S. S. Muchnick and N. D. Jones, editors. Program Flow Analysis: Theory and
Applications . Prentice Hall, Englewood Clis, New Jersey, 1981.
37. F. Nielson. A bibliography on abstract interpretations. ACM SIGPLAN Notices ,
21:31 { 38, 1986.
38. J. Palsberg and M. I. Schwartzbach. Object-oriented Type Systems . John Wiley &
Sons, 1994.
39. Jens Palsberg. Type inference for objects. ACM Computing Surveys , 28(2):358{
359, June 1996.
40. O. Ruthing. Bidirectional data flow analysis in code motion: Myth and reality. In
Proceedings of the 5th Static Analysis Symposium ( SAS'98 )( Pisa, Italy ), Lecture
Notes in Computer Science, vol. 1503, pages 1 { 16. Springer-Verlag, Heidelberg,
Germany, 1998.
41. O. Ruthing. Interacting Code Motion Transformations: Their Impact and Their
Complexity. PhD thesis. University of Kiel, Germany, 1997 . Lecture Notes in
Computer Science, vol. 1539, Springer-Verlag, Heidelberg, Germany, 1998.
42. O. Ruthing. Optimal code motion in the presence of large expressions. In Proceed-
ings of the 6th IEEE Computer Society 1998 International Conference on Com-
puter Languages ( ICCL'98 )( Chicago, Illinois ), pages 216 { 225. IEEE Computer
Society, Los Alamitos, 1998.
43. O. Ruthing, J. Knoop, and B. Steen. Sparse code motion. Technical Report
712/1999, Department of Computer Science, University of Dortmund, Germany,
1999.
44. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis.
In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and
Applications , chapter 7, pages 189 { 233. Prentice Hall, Englewood Clis, New
Jersey, 1981.
45. VFCS/VFC Homepage. Institute for Softwaretechnology and Parallel Sys-
tems, University of Vienna, Austria, http://www.par.univie.ac.at/research/lang-
comp/lang-comp.html.