Implementing function spreadsheets

Sestoft, Peter

doi:10.1145/1370847.1370867

Cited by 9 publications

(6 citation statements)

References 3 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A sheet-defined function [14,17,19,20] is a mechanism for a user to author a function using a region of a spreadsheet. We can model a sheet-defined function f as a triple (S, (a 0 , .…”

Section: Encoding Sheet-defined Functionsmentioning

confidence: 99%

See 1 more Smart Citation

Higher-Order Spreadsheets with Spilled Arrays

Williams

Joharizadeh

Gordon

et al. 2020

Programming Languages and Systems

View full text Add to dashboard Cite

We develop a theory for two recently-proposed spreadsheet mechanisms: gridlets allow for abstraction and reuse in spreadsheets, and build on spilled arrays, where an array value spills out of one cell into nearby cells. We present the first formal calculus of spreadsheets with spilled arrays. Since spilled arrays may collide, the semantics of spilling is an iterative process to determine which arrays spill successfully and which do not. Our first theorem is that this process converges deterministically. To model gridlets, we propose the grid calculus, a higher-order extension of our calculus of spilled arrays with primitives to treat spreadsheets as values. We define a semantics of gridlets as formulas in the grid calculus. Our second theorem shows the correctness of a remarkably direct encoding of the Abadi and Cardelli object calculus into the grid calculus. This result is the first rigorous analogy between spreadsheets and objects; it substantiates the intuition that gridlets are an object-oriented counterpart to functional programming extensions to spreadsheets, such as sheet-defined functions.

show abstract

“…A sheet-defined function [14,17,19,20] is a mechanism for a user to author a function using a region of a spreadsheet. We can model a sheet-defined function f as a triple (S, (a 0 , .…”

Section: Encoding Sheet-defined Functionsmentioning

confidence: 99%

“…Formal Semantics of Spreadsheets. Our core calculus is similar to previous formalisms for spreadsheets, Several previous works [3,7,14,19] offer formal semantics for spreadsheet fragments. Mokhov et al [16] capture the logic of recalculating dependent cells.…”

Section: Related Workmentioning

confidence: 99%

Higher-Order Spreadsheets with Spilled Arrays

Williams

Joharizadeh

Gordon

et al. 2020

Programming Languages and Systems

View full text Add to dashboard Cite

show abstract

“…Several papers pursued the idea of putting advanced code in spreadsheet cells [15,27,30,33]. In function spreadsheets, a worksheet defines a function that can be called from elsewhere [6,36]. FlashFill [19] and NLyze [20] synthesize spreadsheet code from examples and natural language.…”

Section: Related Workmentioning

confidence: 99%

Spreadsheets for stream processing with unbounded windows and partitions

Hirzel

Rabbah

Suter

et al. 2016

Proceedings of the 10th ACM International Conference on Distributed and Event-Based Systems

View full text Add to dashboard Cite

Stream processing is a computational paradigm that allows the analysis of live data streams as they are produced. This paper describes a programming model, based on enhancements to spreadsheets, that enables users with limited programming experience to participate directly in the development of complex streaming applications. The programming model augments a conventional spreadsheet with streaming features that permit operating over unbounded data sets despite the finite interface provided by the spreadsheet. The new constructs include time-based windows and partitioning. We introduce a spreadsheet compiler that generates C++ code to achieve integration with existing stream processing systems. Our experimental study illustrates the expressivity of the new features and finds that our implementation is between 8x slower and 2x faster than hand-written stream programs.

show abstract

“…Figure 2 represents a concrete state of loop between line 8 and line 9. Precisely, the cells [1,7] × [2,2] store boolean values, the cells [1,4] × [3,3] store integer values. [1,100] × [1,1] is reserved by the declaration name at lines 4 and 5 of the program, which means only integer values should be stored in that area.…”

Section: Overviewmentioning

confidence: 99%

“…Various techniques were considered in order to tackle spreadsheet risks. One class of existing work enhances the functional aspect of spreadsheets, viewed as a first-order functional environment [2,3,4,5]. Another body of work attempts to improving quality of spreadsheets using model-driven engineering spreadsheet development environments [6,7,8,9].…”

Section: Introductionmentioning

confidence: 99%

An Abstract Domain to Infer Types over Zones in Spreadsheets

Cheng

Rival

2012

Static Analysis

View full text Add to dashboard Cite

Spreadsheet languages are very commonly used, by large user bases, yet they are error prone. However, many semantic issues and errors could be avoided by enforcing a stricter type discipline. As declaring and specifying type information would represent a prohibitive amount of work for users, we propose an abstract interpretation based static analysis for spreadsheet programs that infers type constraints over zones of spreadsheets, viewed as two-dimensional arrays. Our abstract domain consists in a cardinal power from a numerical abstraction describing zones in a spreadsheet to an abstraction of cell values, including type properties. We formalize this abstract domain and its operators (transfer functions, join, widening and reduction) as well as a static analysis for a simplified spreadsheet language. Last, we propose a representation for abstract values and present an implementation of our analysis.

show abstract

Implementing function spreadsheets

Cited by 9 publications

References 3 publications

Higher-Order Spreadsheets with Spilled Arrays

Higher-Order Spreadsheets with Spilled Arrays

Spreadsheets for stream processing with unbounded windows and partitions

An Abstract Domain to Infer Types over Zones in Spreadsheets

Contact Info

Product

Resources

About