Program Analysis Using Mixed Term and Set Constraints

Manuel Fähndrich, Alexander Aiken. Program Analysis Using Mixed Term and Set Constraints. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 114-126, Springer, 1997.

Abstract

Abstract is missing.