research
∙
07/24/2020
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Gradually-typed programming languages permit the incremental addition of...
share
research
∙
08/06/2018
Size-Change Termination as a Contract
Program termination is an undecidable, yet important, property relevant ...
research
∙
11/09/2017
Soft Contract Verification for Higher-Order Stateful Programs
Software contracts allow programmers to state rich program properties us...
research
∙
07/15/2017