Statically typed languages allow many errors to be detected at compile-time. However, many errors that could be detected statically cannot be expressed using today's type systems. We describe a compile-time reflection framework for Java which allows for static checking of structural constraints.
CITATION STYLE
Bokowski, B. (1998). Coffeestrainer - Statically checking structural constraints on java programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1543, pp. 380–381). Springer Verlag. https://doi.org/10.1007/3-540-49255-0_111
Mendeley helps you to discover research relevant for your work.