A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java

Boris Bokowski. A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java. Softwaretechnik-Trends, 20(4), 2000.

Abstract

Abstract is missing.