Partial Online Cycle Elimination in Inclusion Constraint Graphs

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 33, Issue 5, 1998, Pages 85-96

  Fähndrich, Manuel ^a   Foster, Jeffrey S ^a   Su, Zhendong ^a   Aiken, Alexander ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346246707     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/277652.277667     Document Type: Article

References (28)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. DIKU report 94/19.
2. A. Aiken and E. Wimmers. Solving Systems of Set Constraints. In Symposium on Logic in Computer Science, pages 329-340, June 1992.
3. A. Aiken and E. Wimmers. Type Inclusion Constraints and Type Inference. In Proceedings of the 1993 Conference on Functional Programming Languages and Computer Architecture, pages 31-41, Copenhagen, Denmark, June 1993.
4. A. Aiken, E. Wimmers, and T.K. Lakshman. Soft typing with conditional types. In Twenty-First Annual ACM Symposium on Principles of Programming Languages, January 1994.
5. M. Fähndrich and A. Aiken. Making Set-Constraint Based Program Analyses Scale. In First Workshop on Set Constraints at CP'96, Cambridge, MA, August 1996. Available as Technical Report CSD-TR-96-917, University of California at Berkeley.
6. C. Flanagan and M. Felleisen. Componential Set-Based Analysis. In PLDI'97 [PLD97].
7. J. Foster, M. Fähndrich, and A. Aiken. Flow-Insensitive Points-to Analysis with Term and Set Constraints. Technical Report UCB//CSD-97-964, U. of California, Berkeley, August 1997.
8. C. Flanagan, M. Flatt, S. Krishnamurthi, S. Weirich, and M. Felleisen. Catching Bugs in the Web of Program Invariants. In Proceedings of the 1996 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 23-32, May 1996.
9. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification, chapter 10, pages 199-200. Addison Wesley, 1996.
10. N. Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, 1992.
11. N. Heintze. Set Based Analysis of ML Programs. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming, pages 306-17, June 1994.
12. N. Heintze and J. Jaffar. A decision procedure for a class of Herbrand set constraints. In Symposium on Logic in Computer Science, pages 42-51, June 1990.
13. N. Heintze and D. McAllester. Linear-Time Subtransitive Control Flow Analysis. In PLDI'97 [PLD97].
14. N. D. Jones and S. S. Muchnick. Flow Analysis and Optimization of LISP-like Structures. In Sixth Annual ACM Symposium on Principles of Programming Languages, pages 244-256, January 1979.
15. D. Knuth. The Art of Computer Programming, Fundamental Algorithms, volume 1. Addison-Wesley, Reading, Mass., 2 edition, 1973.
16. D. Kozen. Logical Aspects of Set Constraints. In E. Börger, Y. Gurevich, and K. Meinke, editors, Proc. 1993 Conf. Computer Science Logic (CSL '93), volume 832 of Lecture Notes in Computer Science, pages 175-188. Springer-Verlag, 1993.
17. C. Mossin. Flow Analysis of Typed Higher-Order Programs. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, 1996.
18. Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
19. S. Marlow and P. Wadler. A Practical Subtyping System For Erlang. In Proceedings of the International Conference on Functional Programming (ICFP '97), June 1997.
20. Proceedings of the 1997 ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1997.
21. F. Pottier. Simplifying Subtyping Constraints. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), pages 122-133, January 1996.
22. J. Palsberg and M. I. Schwartzbach. Object-Oriented Type Inference. In Proceedings of the ACM Conference on Object-Oriented programming: Systems, Languages, and Applications, October 1991.
23. J. C. Reynolds. Automatic Computation of Data Set Definitions, pages 456-461. Information Processing 68. North-Holland, 1969.
24. M. Shapiro and S. Horwitz. Fast and Accurate Flow-Insensitive Points-To Analysis. In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-14, January 1997.
25. O. Shivers. Control Flow Analysis in Scheme. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 164-174, June 1988.
26. O. Shmueli. Dynamic Cycle Detection. Information Processing Letters, 17(4):185-188, 8 November 1983.
27. B, Steensgaard. Points-to Analysis in Almost Linear Time. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 32-41, January 1996.
28. V. Trifonov and S. Smith. Subtyping Constrained Types. In Proceedings of the 3rd International Static Analysis Symposium, pages 349-365, September 1996.