Program Analysis with Regularly Annotated Constraints (2006)

by John Kodumal , John Kodumal
Citations:2 - 0 self

Active Bibliography

701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
32 Banshee: A scalable constraint-based analysis toolkit – John Kodumal, Alex Aiken - 2005
Banshee: A Practical Constraint-Based Analysis – John Kodumal, Alex Aiken
159 Computing on Data Streams – Monika Rauch Henzinger, Prabhakar Raghavan, Sridar Rajagopalan - 1998
148 Regular Path Queries with Constraints – Serge Abiteboul, Victor Vianu - 1997
115 Finding Regular Simple Paths In Graph Databases – Alberto O. Mendelzon, Peter, Peter T. Wood - 1989
112 Analysis of Recursive State Machines – Rajeev Alur, Kousha Etessami, Mihalis Yannakakis - 2001
112 Algorithmics and Applications of Tree and Graph Searching – Dennis Shasha, Jason T. L. Wang, Rosalba Giugno - 2002
60 Survey of graph database models – Renzo Angles, Claudio Gutierrez - 2001