Extends the Checker Framework with a sound static checker that lifts JDBC type-mismatch errors from runtime to compile time, supporting cross-method checks via optional annotations on unmodified Java code.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.DB 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Static Type Checking for Database Access Code
Extends the Checker Framework with a sound static checker that lifts JDBC type-mismatch errors from runtime to compile time, supporting cross-method checks via optional annotations on unmodified Java code.