1 paper · 1 filter
Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos
Structure editors operate directly on a program's syntactic tree structure. At first glance, this allows for the exciting possibility that such an editor could enforce correctness…