Author of the publication

Precise Interprocedural Dataflow Analysis via Graph Reachability

, , and . Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, page 49--61. New York, NY, USA, ACM, (1995)
DOI: 10.1145/199448.199462

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Precise Flow-Insensitive May-Alias Analysis is NP-Hard.. ACM Trans. Program. Lang. Syst., 19 (1): 1-6 (1997)Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation., , and . Theor. Comput. Sci., 167 (1&2): 131-170 (1996)Tool Demonstration: Finding Duplicated Code Using Program Dependences., and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 383-386. Springer, (2001)Better Debugging via Output Tracing and Callstack-Sensitive Slicing., , and . IEEE Trans. Software Eng., 36 (1): 7-19 (2010)Efficient Comparison of Program Slices., and . Acta Inf., 28 (8): 713-732 (1991)Using peer-led team learning to increase participation and success of under-represented groups in introductory computer science., , , , , , , , , and 1 other author(s). SIGCSE, page 163-167. ACM, (2009)Integrating Non-Interfering Versions of Programs., , and . POPL, page 133-145. ACM Press, (1988)The why and wherefore of the Cornell Program Synthesizer., , and . SIGPLAN SIGOA Symposium on Text Manipulation, page 8-16. ACM, (1981)Semantics-Preserving Procedure Extraction., and . POPL, page 155-169. ACM, (2000)A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations., , and . ACM Trans. Softw. Eng. Methodol., 1 (3): 310-354 (1992)