Program Analysis with Regularly Annotated Constraints (2006)

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

Active Bibliography

31 Banshee: A scalable constraint-based analysis toolkit – John Kodumal, Alex Aiken - 2005
Banshee: A Practical Constraint-Based Analysis – John Kodumal, Alex Aiken
Backtracking – Alberto Apostolico, Giuseppe F. Italiano
1 Using Conditional Branches to Improve Constant Propagation – Preston Briggs, Preston Briggs, Keith D. Cooper, Keith D. Cooper, Linda Torczon, Linda Torczon - 1995
4 The CLP(OIH) Language – Ole Ildsgaard Hougaard - 1998
1 Efficient Simplification of Bisimulation Formulas – Uffe H. Engberg, Kim S. Larsen - 1995
Retroactive data structures (extended abstract) – Erik D. Demaine, John Iacono, Stefan Langeman - 2004
30 An Efficient Representation for Sparse Sets – Preston Briggs, Linda Torczon - 1993
32 Lower Bounds for Fully Dynamic Connectivity Problems in Graphs – M. R. Henzinger, M. L. Fredman - 1998
4 Grammars And Automata To Optimize Chain Logic Queries – Sergio Greco, Domenico Sacca, Domenico Sacc À, Carlo Zaniolo - 1999
6 Fully Dynamic Biconnectivity in Graphs – M. R. Henzinger - 1992
4 On the Efficient Maintenance of Temporal Integrity in Knowledge Bases – Dimitrios Plexousakis - 1996
Language Constrained Graph Problems A Microcosm of Engineering Research and Development (Plenary Talk) – Phillip G. Bradford
5 Efficient searching for multidimensional data made simple – Enrico Nardelli, Maurizio Talamo, Paola Vocca - 1999
9 Model Checking and Transitive-Closure Logic – Neil Immerman, Moshe Y. Vardi - 1997
13 TIGUKAT: An Object Model for Query and View Support in Object Database Systems – Randal J. Peters, M. Tamer Özsu, Duane Szafron - 1992
Stacksize analysis for interrupt-driven programs – Krishnendu Chatterjee, Di Ma, Rupak Majumdar , Tian Zhao , Thomas A. Henzinger , Jens Palsberg - 2004
Shape Analysis as a Generalized . . . – Thomas Reps
17 Formal Language Constrained Path Problems – Chris Barrett, Riko Jacob, Madhav Marathe - 1998