pith. sign in

Hassan, Mohamed Nasser, and Parminder Flora

3 Pith papers cite this work. Polarity classification is still indexing.

3 Pith papers citing it

citation-role summary

background 1

citation-polarity summary

fields

cs.SE 2 cs.DB 1

years

2026 2 2024 1

roles

background 1

polarities

background 1

representative citing papers

Static Type Checking for Database Access Code

cs.DB · 2026-05-04 · unverdicted · novelty 5.0

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.

citing papers explorer

Showing 3 of 3 citing papers.