kirancodes.me
To Proof Maintenance & Beyond!
Venues / DLS /

DLS 2010

8 papers

  1. Alias analysis for optimization of dynamic languages · Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
  2. Contracts for first-class classes · T. Stephen Strickland, Matthias Felleisen
  3. Controlling dynamic module composition through an extensible meta-level API · Eyvind W. Axelsen, Stein Krogdahl, Birger Møller-Pedersen
  4. Efficient interpretation using quickening · Stefan Brunthaler
  5. Experiences with an icon-like expression evaluation system · Laurence Tratt
  6. Factor: a dynamic stack-based programming language · Sviatoslav Pestov, Daniel Ehrenberg, Joe Groff
  7. Optimizing dynamic dispatch with fine-grained state tracking · Salikh Zakirov, Shigeru Chiba, Etsuya Shibayama
  8. Proxies: design principles for robust object-oriented intercession APIs · Tom Van Cutsem, Mark S. Miller