CoffeeStrainer - Statically Checking Structural Constraints on Java Programs

Boris Bokowski
Institut für Informatik
Freie Universität Berlin
Takustr. 9, D-14195 Berlin

Report B 98-14
December 1998

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.

Get the report here or by anonymous ftp: 
File:   pub/reports/