2 papers
cs.PL2024
Pantograph: A Fluid and Typed Structure Editor
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…
cs.SE2024
Object Graph Programming
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach +1
We introduce Object Graph Programming (OGO), which enables reading and modifying an object graph (i.e., the entire state of the object heap) via declarative queries. OGO models the…