An Abstract Domain to Infer Types over Zones in Spreadsheets
Abstract elided by the publisher.
Related papers
- An Abstract Domain for Trees with Numeric Relations ESOP 2019
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- A Fresh Look at Zones and Octagons TOPLAS 2021
- Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays JFP 2020
- Transforming spreadsheet data types using examples POPL 2016
- Towards tool support for spreadsheet-based domain-specific languages GPCE 2015
- Spreadsheet table transformations from examples PLDI 2011
- Formally Verified Switching Logic for Recoverability of Aircraft Controller CAV 2021