Denotational Semantics and a Fast Interpreter for jq

Michael Färber

jq is a widely used tool that provides a programming language to manipulate JSON data. However, its semantics are currently only specified by its implementation, making it difficul…