Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability (2004)

Cached

Download Links

by S. Alexander Spoon , Olin Shivers
Citations:13 - 2 self

Active Bibliography

535 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
401 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
485 A semantics of multiple inheritance – Luca Cardelli - 1988
527 Points-to Analysis in Almost Linear Time – Bjarne Steensgaard - 1996
952 The Generative Lexicon – James Pustejovsky - 1991