Author of the publication

Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C.

, , and . SAS, volume 1824 of Lecture Notes in Computer Science, page 175-198. Springer, (2000)

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

Type Systems for Distributed Data Structures., and . POPL, page 199-213. ACM, (2000)Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)., , and . TACS, volume 1281 of Lecture Notes in Computer Science, page 47-76. Springer, (1997)Directional Type Checking of Logic Programs, and . SAS, volume 864 of Lecture Notes in Computer Science, page 43-60. Springer, (1994)Fine-grain compilation for pipelined machines., , and . J. Supercomput., 2 (3): 279-295 (1988)Resource-Constrained Software Pipelining., , and . IEEE Trans. Parallel Distributed Syst., 6 (12): 1248-1270 (1995)A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)DataSplash: A Direct Manipulation Environment for Programming Semantic Zoom Visualizations of Tabular Data., , , , , , , and . J. Vis. Lang. Comput., 12 (5): 551-571 (2001)Decidability of Systems of Set Constraints with Negative Constraints, , and . Inf. Comput., 122 (1): 30-44 (October 1995)Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)Scalable statistical bug isolation., , , , and . PLDI, page 15-26. ACM, (2005)