Eine formale Spezifikation der jq-Sprache

Diese Arbeit liefert eine formale Syntax und denotationelle Semantik für einen großen Teilbereich der jq-Sprache. Der wichtigste Beitrag ist die Bereitstellung einer neuen Art der Interpretation von Aktualisierungen, die zu einem vorhersagbareren und leistungsfähigeren Ausführungsverhalten führt.