CoffeeStrainer - Statically Checking Structural Constraints on Java Programs
1998
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI