An Easily Extensible Toolset for Tabular Mathematical Expressions
Abstract elided by the publisher.
Related papers
- Structure interpretation of text formats OOPSLA 2020
- Tabular: a schema-driven probabilistic programming language POPL 2014
- The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability TACAS 2019
- End-user software customization by direct manipulation of tabular data Onward! 2020
- A verified packrat parser interpreter for parsing expression grammars CPP 2020
- Proof Repair across Quotient Type Equivalences OOPSLA 2025
- CoqQ: Foundational Verification of Quantum Programs POPL 2023
- A Toolset for Message Sequence Charts CAV 1998