1 paper
Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty +2
Lifting low-level or legacy code into a domain-specific language (DSL) improves our ability to understand it, enables deeper formal reasoning, and facilitates safe modification. We…