Foundational Verification of Running-Time Bounds for Interactive Programs (via typesanitizer) — discussion

#formalmethods #pdf #performance