Spreadsheet Structure Discovery with Logic Programming

J. Paine

Corpus ID: 11002459

Spreadsheet Structure Discovery with Logic Programming

@article{Paine2008SpreadsheetSD,
  title={Spreadsheet Structure Discovery with Logic Programming},
  author={Jocelyn Paine},
  journal={ArXiv},
  year={2008},
  volume={abs/0802.3940}
}

J. Paine
Published 26 February 2008
Computer Science
ArXiv

Our term "structure discovery" denotes the recovery of structure, such as the grouping of cells, that was intended by a spreadsheet's author but is not explicit in the spreadsheet. We are implementing structure discovery tools in the logic-programming language Prolog for our spreadsheet analysis program Model Master, by writing grammars for spreadsheet structures. The objective is an "intelligent structure monitor" to run beside Excel, allowing users to reconfigure spreadsheets to the…

View PDF on arXiv

11 Citations

Background Citations

Methods Citations

Implementing logic spreadsheets in LESS

A. Valente, D. V. Brackle, Hans Chalupsky, Gary Edwards
Computer Science
The Knowledge Engineering Review
2007

Logic Embedded in SpreadSheets (LESS) is presented, a system which integrates PowerLoom, a highly expressive logic-based KR&R system, with Microsoft (MS) Excel and explores trade-offs between direct access to the underlying logic engine and user-friendly support for spreadsheets users.

Maintaining Liveness in a Spreadsheet with Logic Programming

P. Cox
Computer Science
2009

This paper addresses the problem of maintaining liveness in L-sheets, a recently proposed extension to spreadsheets that is augmented with a form of visual logic programming in which term unification is replaced by array unification, providing both improved programmability and a means to specify the high-level structure of sheets.

Automated model-based spreadsheet debugging

T. Schmitz
Computer Science
2017

Several new algorithmic enhancements of the general MBD approach are combined in this thesis to allow spreadsheet users to debug their spreadsheets and to efficiently find the reason of the observed unexpected output values.

How do you know your spreadsheet is right?

Philip L. Bewig
Computer Science
ArXiv
2013

This is the most fundamental level of your work, and the most creative moment in the entire existence of your spreadsheet, so think before you write.

Rapid Spreadsheet Reshaping with Excelsior: multiple drastic changes to content and layout are easy when you represent enough structure

J. Paine, Emre Tek, D. Williamson
Physics
ArXiv
2008

Excelsior, the first ever tool for modularising spreadsheets, represents spreadsheets in a way that makes these components explicit, separates them from layout, and allows both components and layout to be changed without breaking dependent formulae.

Reducing Error in Spreadsheets: Example Driven Modeling Versus Traditional Programming

Simon Thorne, David Ball, Z. Lawson
Computer Science
Int. J. Hum. Comput. Interact.
2013

Experimental data supporting an alternative approach to developing decision support spreadsheets using a Programming by Demonstration paradigm is presented and benefits and limitations this method offers are described through statistical analysis of the experimental results.

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA

D. Jannach, T. Schmitz, Birgit Hofer, F. Wotawa
Business
J. Syst. Softw.
2014

Excelsior: Bringing the Benefits of Modularisation to Excel

J. Paine
Computer Science
ArXiv
2008

Excelsior is presented, a system for bringing modular design features to Excel that would save time, avoid unneeded programming, make mistakes less likely, make code-control easier, help organisations adopt a uniform house style, and open business opportunities in buying and selling spreadsheet modules.

A knowledge-based system for cost modelling of aircraft gas turbines

S. Tammineni, A. Rao, J. Scanlan, P. Reed, A. Keane
Computer Science
2009

It is shown how the tool provides fast incremental cost fluctuations in response to changes in component geometry and the uncertain quantities present in cost models and analyses cost risk.

Beyond Regulatory Compliance for Spreadsheet Controls: A Tutorial to Assist Practitioners and a Call for Research

Linda A. Leon, Dolphy M. Abraham, Lawrence Kalbers
Economics
Commun. Assoc. Inf. Syst.
2010

An analysis of the prior work on error prevention and detection in spreadsheets as it relates to SOX and IT governance frameworks, more generally and suggestions to help IT practitioners in organizations look beyond SOX regulations at governance of end-user developed content are provided.

References

SHOWING 1-10 OF 16 REFERENCES

SORT BY

Ensuring Spreadsheet Integrity with Model Master

J. Paine
Computer Science
ArXiv
2008

The Model Master (MM) language for describing spreadsheets, and tools for converting MM programs to and from spreadsheet, which makes possible a new style of development, in which spreadsheets are generated from textual specifications.

The Art of Prolog

L. Sterling, E. Shapiro, R. Garrett
Computer Science
IEEE Expert
1987

An example of the advantage of intertwining generating and testing can be seen with programs solving the N queens problem, which requires the placement of N pieces on an Nby-N rectangular board so that no two pieces are on the same line.