Hybrid Verification of Declarative Programs with Arithmetic Non-fail Conditions.

Michael Hanus

Browse the full APLAS paper archive.