Concrete and Abstract Cost Semantics for Spreadsheets

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

Publikation: Bog/antologi/afhandling/rapportRapportForskning

21 Downloads (Pure)

Resumé

We give a simple but precise operational semantics for the evaluation of extended spreadsheet formulas, with array formulas, sheet-defined functions and closures, as found in the Funcalc spreadsheet platform. We build on this to give a simple cost semantics for evaluation of a spread- sheet formula and for full and minimal recalculation of a spreadsheet. Following the ideas presented by Schmidt we provide a big step trace-based abstract interpretation for the cost semantics. We then present a set of functions which can be used to calculate the cost of executing an evaluation of a spreadsheet expression following Gomez et al., inspired by Rosendahl. These functions are related to the above operational semantics, cost semantics and abstract interpretation.The above semantic presentations all form the formal foundations for various cost calculations implemented in the Funcalc spreadsheet platform.
OriginalsprogDansk
ForlagIT-Universitetet i København
ISBN (Elektronisk)978-87-7949-369-8
StatusUdgivet - 2018
NavnIT University Technical Report Series
Vol/bindTR-2018-203
ISSN1600-6100

Emneord

  • Spreadsheets
  • costs
  • semantics

Citer dette

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B., & Thomsen, L. L. (2018). Concrete and Abstract Cost Semantics for Spreadsheets. IT-Universitetet i København. IT University Technical Report Series, Bind. TR-2018-203
Bock, Alexander Asp ; Bøgholm, Thomas ; Sestoft, Peter ; Thomsen, Bent ; Thomsen, Lone Leth. / Concrete and Abstract Cost Semantics for Spreadsheets. IT-Universitetet i København, 2018. (IT University Technical Report Series, Bind TR-2018-203).
@book{620483cb894d45e3b814563df6d2bccd,
title = "Concrete and Abstract Cost Semantics for Spreadsheets",
abstract = "We give a simple but precise operational semantics for the evaluation of extended spreadsheet formulas, with array formulas, sheet-defined functions and closures, as found in the Funcalc spreadsheet platform. We build on this to give a simple cost semantics for evaluation of a spread- sheet formula and for full and minimal recalculation of a spreadsheet. Following the ideas presented by Schmidt we provide a big step trace-based abstract interpretation for the cost semantics. We then present a set of functions which can be used to calculate the cost of executing an evaluation of a spreadsheet expression following Gomez et al., inspired by Rosendahl. These functions are related to the above operational semantics, cost semantics and abstract interpretation.The above semantic presentations all form the formal foundations for various cost calculations implemented in the Funcalc spreadsheet platform.",
keywords = "Spreadsheets, costs, semantics",
author = "Bock, {Alexander Asp} and Thomas B{\o}gholm and Peter Sestoft and Bent Thomsen and Thomsen, {Lone Leth}",
year = "2018",
language = "Dansk",
series = "IT University Technical Report Series",
publisher = "IT-Universitetet i K{\o}benhavn",

}

Bock, AA, Bøgholm, T, Sestoft, P, Thomsen, B & Thomsen, LL 2018, Concrete and Abstract Cost Semantics for Spreadsheets. IT University Technical Report Series, bind TR-2018-203, IT-Universitetet i København.

Concrete and Abstract Cost Semantics for Spreadsheets. / Bock, Alexander Asp; Bøgholm, Thomas; Sestoft, Peter; Thomsen, Bent; Thomsen, Lone Leth.

IT-Universitetet i København, 2018. (IT University Technical Report Series, Bind TR-2018-203).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

TY - RPRT

T1 - Concrete and Abstract Cost Semantics for Spreadsheets

AU - Bock, Alexander Asp

AU - Bøgholm, Thomas

AU - Sestoft, Peter

AU - Thomsen, Bent

AU - Thomsen, Lone Leth

PY - 2018

Y1 - 2018

N2 - We give a simple but precise operational semantics for the evaluation of extended spreadsheet formulas, with array formulas, sheet-defined functions and closures, as found in the Funcalc spreadsheet platform. We build on this to give a simple cost semantics for evaluation of a spread- sheet formula and for full and minimal recalculation of a spreadsheet. Following the ideas presented by Schmidt we provide a big step trace-based abstract interpretation for the cost semantics. We then present a set of functions which can be used to calculate the cost of executing an evaluation of a spreadsheet expression following Gomez et al., inspired by Rosendahl. These functions are related to the above operational semantics, cost semantics and abstract interpretation.The above semantic presentations all form the formal foundations for various cost calculations implemented in the Funcalc spreadsheet platform.

AB - We give a simple but precise operational semantics for the evaluation of extended spreadsheet formulas, with array formulas, sheet-defined functions and closures, as found in the Funcalc spreadsheet platform. We build on this to give a simple cost semantics for evaluation of a spread- sheet formula and for full and minimal recalculation of a spreadsheet. Following the ideas presented by Schmidt we provide a big step trace-based abstract interpretation for the cost semantics. We then present a set of functions which can be used to calculate the cost of executing an evaluation of a spreadsheet expression following Gomez et al., inspired by Rosendahl. These functions are related to the above operational semantics, cost semantics and abstract interpretation.The above semantic presentations all form the formal foundations for various cost calculations implemented in the Funcalc spreadsheet platform.

KW - Spreadsheets

KW - costs

KW - semantics

M3 - Rapport

T3 - IT University Technical Report Series

BT - Concrete and Abstract Cost Semantics for Spreadsheets

PB - IT-Universitetet i København

ER -

Bock AA, Bøgholm T, Sestoft P, Thomsen B, Thomsen LL. Concrete and Abstract Cost Semantics for Spreadsheets. IT-Universitetet i København, 2018. (IT University Technical Report Series, Bind TR-2018-203).