Program Analysis with Regularly Annotated Constraints (2006)

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

Documents Related by Co-Citation

67 Practical program analysis using general purpose logic programming systems—a case study – Steven Dawson, Coimbatore R Ramakrishnan, David S Warren - 1996
45 Demand Interprocedural Program Analysis Using Logic Databases – Thomas W. Reps - 1994
1061 Principles of Database and KnowledgeBase Systems. Volume I: Classical Database Systems – J D Ullman - 1988
520 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
114 Ultra-fast aliasing analysis using CLA: a million lines of C code in a second – Nevin Heintze - 2001
227 Cloning-based context-sensitive pointer alias analysis using binary decision diagrams – John Whaley, Monica S. Lam - 2004
10 Cyclone: A type-safe dialect – D Grossman, M Hicks, T Jim - 2005
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
45 Coping with Type Casts in C – Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas Reps - 1999
7 Rastislav Bodik. Thin Slicing – Manu Sridharan, Stephen J Fink - 2007
49 Debugging via Run-Time Type Checking – Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas Reps - 2001
31 Banshee: A scalable constraint-based analysis toolkit – John Kodumal, Alex Aiken - 2005
19 Automatic inference of stationary fields: a generalization of Java’s final fields – Christopher Unkel, Monica S. Lam - 2008
20 Incremental and demand-driven points-to analysis using logic programming – Diptikalyan Saha - 2005
23 How is aliasing used in systems software? – Brian hackett, et al. - 2006
57 Escape Analysis on Lists – Young Gil Park, Benjamin Goldberg - 1992
21 Existential Types for Imperative Languages – Dan Grossman - 2002