Semantic Foundations of Binding Time Analysis for Imperative Programs.

Manuvir Das Thomas W. Reps Pascal Van Hentenryck

Published in: PEPM (1995)

Keyphrases

semantic analysis
statistical analysis
imperative programs
high level
data analysis
software engineering
general purpose
description logics
fixed point
video analysis