Freie Universität Berlin, Fachbereich Mathematik und Informatik : Ser. B, Informatik ; 98,14
reflection and metaobject models, frameworks, software engineering practices
004 Data processing and Computer science
It is generally desirable to detect program errors as early as possible during software development.
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. In this paper, we describe a
meta-programming framework for Java which allows for static checking of structural constraints. In
particular, we address how design principles and coding rules can be captured.
If your browser can't open the file, please download the file first and then open it