OBRA: Oracle-Based, Relational, Algorithmic Type Verification.

Elizaveta Vasilenko, Niki Vazou, Gilles Barthe

Browse the full APLAS paper archive.