On the cost semantics for spreadsheets with sheet-defined functions

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft*, Bent Thomsen, Lone Leth Thomsen

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

8 Downloads (Pure)

Abstract

We give a simple operational cost semantics for evaluation of spreadsheet formulas and for full and minimal recalculation. We also present a semantics which caters for computing with unknown data values. This may be used to give an approximation of the cost when input data is not yet provided. This semantics is a rudimentary big-step trace-based abstract interpretation based upon the cost semantics. Together, the semantic presentations form the formal foundations for various cost calculations implemented in the Funcalc spreadsheet platform. This can be used in cost estimation tools, e.g. to estimate which formulas in a spreadsheet are the most expensive, or to schedule parallel recalculation of a spreadsheet. In future work, further analyzes and verification tools can be built upon the formal semantics to reduce the large number of errors that commonly occur in spreadsheets.

Original languageEnglish
Article number101103
JournalJournal of Computer Languages
Volume69
Number of pages48
ISSN1477-8424
DOIs
Publication statusPublished - Apr 2022

Bibliographical note

Publisher Copyright:
© 2022 The Author(s)

Keywords

  • Abstract semantics
  • Cost semantics
  • Funcalc
  • Recalculation
  • Sheet-defined functions
  • Spreadsheets

Fingerprint

Dive into the research topics of 'On the cost semantics for spreadsheets with sheet-defined functions'. Together they form a unique fingerprint.

Cite this