Static Type Checking for Database Access Code

Thomas James Kirz, Werner Dietl, Mattias Ulbrich +1

JDBC remains a key technology for database access in Java applications. Since the database dictionary and the Java type system have distinct scopes, developers inevitably need to d…