Author of the publication

The Tioga-2 Database Visualization Environment.

, , , , , and . Workshop on Database Issues for Data Visualization, volume 1183 of Lecture Notes in Computer Science, page 181-207. Springer, (1995)

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 Inclusion Constraints and Type Inference., and . FPCA, page 31-41. ACM, (1993)Solving Systems of Set Constraints (Extended Abstract), and . LICS, page 329-340. IEEE Computer Society, (1992)Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation., , and . LISP and Functional Programming, page 79-90. ACM, (1994)Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism., , and . SIGMOD Conference, page 59-68. ACM Press, (1992)SIGMOD Record 21(2), June 1992.DataSplash., , , , , , , and . SIGMOD Conference, page 550-552. ACM Press, (1998)A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities., , , and . NDSS, The Internet Society, (2000)Implementing Regular Tree Expressions., and . FPCA, volume 523 of Lecture Notes in Computer Science, page 427-447. Springer, (1991)A Toolkit for Constructing Type- and Constraint-Based Program Analyses., , , and . Types in Compilation, volume 1473 of Lecture Notes in Computer Science, page 78-96. Springer, (1998)Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)