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

Cached

Download Links

by S. Alexander Spoon , Olin Shivers
Citations:12 - 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
356 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
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
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
127 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
13 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
127 Scalable propagation-based call graph construction algorithms – Frank Tip - 2000
394 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995