DMCA

Software with Partial Functions: Automating Correctness Proofs via Nonstrict Explicit Domains

by Vladimir Yakhnis , Vladimir Yakhnis , Victor Winter