Formal Specification of the jq JSON Manipulation Language

This work provides a formal syntax and denotational semantics for a large subset of the jq language, a widely used tool for manipulating JSON data. The most significant contribution is a new interpretation of updates that allows for more predictable and performant execution.