Type-based dependency analysis for javascript.

Matthias Keil, Peter Thiemann

Browse the full PLDI paper archive.