Syntactic Completions with Material Obligations

David Moon, Andrew Blinn, Thomas J. Porter +1

Code editors provide essential services that help developers understand, navigate, and modify programs. However, these services often fail in the presence of syntax errors. Existin…