no code implementations • 28 Mar 2020 • Abhishek Bichhawat, McKenna McCall, Limin Jia
Prior work on gradual information flow typing uncovered tensions between noninterference and the dynamic gradual guarantee -- the property that less precise security type annotations in a program should not cause more runtime errors.
Programming Languages