On the semantics for spreadsheets with sheet-defined functions

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

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Abstract

    We give an operational semantics for the evaluation of spreadsheets, including sheet-defined and built-in numeric functions in the Funcalc spreadsheet platform. The semantics allows for different implementations and we discuss sheet-defined functions implemented using both interpretation and run-time code generation. The semantics specifies the expected result of a computation, also considering non-deterministic functions, independently of an evaluation mechanism. It can be extended to include the cost of formula evaluation for a cost analysis e.g. for use in parallelization of computations. An interesting future direction is to investigate experimentally how close our semantics is to that of major spreadsheet implementations.
    OriginalsprogEngelsk
    Artikelnummer100960
    TidsskriftJournal of Computer Languages
    Vol/bind57
    Antal sider11
    ISSN2590-1184
    DOI
    StatusUdgivet - mar. 2020

    Emneord

    • Spreadsheet
    • Semantics
    • Funcalc
    • Sheet-defined function
    • Recalculation

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'On the semantics for spreadsheets with sheet-defined functions'. Sammen danner de et unikt fingeraftryk.

    Citationsformater