Type-Based Useless-Variable Elimination (2000)

Cached

Download Links

by Naoki Kobayashi
Citations:2 - 0 self

Active Bibliography

20 Type-Based Useless Variable Elimination – Naoki Kobayashi - 1999
366 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
223 Object-Oriented Type Inference – Jens Palsberg, Michael I. Schwartzbach - 1991
196 Alias Annotations for Program Understanding – Jonathan Aldrich, Valentin Kostadinov, Craig Chambers - 2002
Automatic useless-code elimination for HOT . . . – Ferruccio Damiani, Paola Giannini - 2001
useless-code elimination – unknown authors - 2001
14 Control-Flow Analysis of Functional Programs – Jan Midtgaard - 2007
Type-Based Analysis and Applications – unknown authors
Relating Complexity and Precision in Control Flow Analysis – unknown authors