Specifying the Correctness of Binding-Time Analysis

Mitchell Wand. Specifying the Correctness of Binding-Time Analysis. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 137-143, 1993.

Abstract

Abstract is missing.