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
262 Escape analysis for Java – Jong-deok Choi, Mannish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff - 1999
1060 Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies – J D Ullman - 1990
517 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
113 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
7 Rastislav Bodik. Thin Slicing – Manu Sridharan, Stephen J Fink - 2007
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
90 CCured in the Real World – Jeremy Condit, Matthew Harren, Scott Mcpeak, George C. Necula, Westley Weimer - 2003
93 Scalable error detection using Boolean satisfiability – Yichen Xie, Alex Aiken - 2005
767 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
59 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
44 Coping with Type Casts in C – Michael Siff, Satish Chandra, Thomas Ball, Krishna Kunchithapadam, Thomas Reps - 1999