Solving Regular Tree Grammar Based Constraints (2000)

by Yanhong A. Liu , Ning Li , Scott D. Stoller
Venue:In Proceedings of the 8th International Static Analysis Symposium
Citations:5 - 4 self

Active Bibliography

Algorithms for and the Complexity of Constraint Entailment – Zhendong Patrick Su, Zhendong Patrick Su, Zhendong Patrick Su - 2002
732 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
553 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
885 Efficiently computing static single assignment form and the control dependence graph – Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck - 1991
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
685 A Survey of Program Slicing Techniques – F. Tip - 1995
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003