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


Download Links

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

Active Bibliography

16 Effective Interprocedural Optimization of Object-Oriented Languages – David Paul Grove - 1998
7 Understanding and Improving the Performance of Modern Programming Languages – Amer Suleman Diwan - 1997
45 Fast and Effective Optimization of Statically Typed Object-Oriented Languages – David Francis Bacon - 1997
68 A framework for call graph construction algorithms – David Grove, Craig Chambers - 2001
Dubious: A Modular, Statically Typed OO Core Language – Todd Millstein
7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
1 Abstract Dynamic Data Polyvariance Using Source-Tagged Classes – S. Alexander Spoon, Olin Shivers
360 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
11 Theoretical Aspects of Object-Oriented Programming - Types, Semantics, and Language Design – Carl A. Gunter, John C. Mitchell (eds.), John C. Mitchell, Michael Garey, Albert Meyer, Naoki Katoh - 1993
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
4 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing – Craig Chambers, Gary T. Leavens - 1997
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
2 Should ML be object-oriented? – David MacQueen
129 The Design and Implementation of the SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages – Craig Chambers, John Hennessy, Mark Linton - 1992
DIRECTORES: AUTOR: – Trabajo Fin, De Máster, Sergio Fernández, López Universidad, De Oviedo, Trabajo Fin, De Máster, José Emilio, Labra Gayo, Diego Berrueta Muñoz, Sergio Fernández, López Resumen
available at IET Digital Library. Including both Static and Dynamic Typing in the same Programming Language – Francisco Ortin, Daniel Zapico, J. Baltasar, G. Perez-schofield, Miguel Garcia - 2009
127 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995