Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity

From MaRDI portal