Concrete and Abstract Cost Semantics for Spreadsheets

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

    Publikation: Bog / Antologi / RapportRapportForskning

    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.
    OriginalsprogEngelsk
    ForlagIT-Universitetet i København
    Antal sider63
    ISBN (Elektronisk)978-87-7949-369-8
    StatusUdgivet - 2018
    NavnIT University Technical Report Series
    NummerTR-2018-203
    ISSN1600-6100

    Emneord

    • Spreadsheets
    • costs
    • semantics

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'Concrete and Abstract Cost Semantics for Spreadsheets'. Sammen danner de et unikt fingeraftryk.

    Citationsformater