Spreadsheet Structure Discovery with Logic Programming
نویسنده
چکیده
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 structurediscovery 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 representational needs of the task at hand. This could revolutionise spreadsheet "best practice". We also describe a formulation of spreadsheet reverse-engineering based on "arrows".
منابع مشابه
The Lookup Technique to Replace Nested-IF Formulas in Spreadsheet Programming
Spreadsheet programmers often implement contingent logic using a nested-IF formula even though this technique is difficult to test and audit and is believed to be risky. We interpret the programming of contingent logic in spreadsheets in the context of traditional computer programming. We investigate the “lookup technique” as an alternative to nested-IF formulas, describe its benefits for testi...
متن کاملMaintaining Liveness in a Spreadsheet with Logic Programming
Spreadsheets are among the most widely used programming tools, having been adopted almost universally for computing and tabulating financial information. They were not designed for use in strategic applications, however, since they lack all but the most rudimentary programming support, and are highly likely to contain errors. In L-sheets, a recently proposed extension to spreadsheets, the stand...
متن کاملData Oriented LP with Magritte
Logic Programming applications and environment tools use a great variety of data representations and interaction paradigms, precluding data sharing and reusing data interaction routines deened by applications dealing with large and complex terms. To overcome these problems and towards simplifying the development of an integrated spreadsheet-like environment , we propose the creation of a common...
متن کاملAn intentional language as the basis of a 3-D spreadsheet design
Intensional logic is concerned with assertions and other expressions whose meaning depends on an implicit context. An intensional language is both a programming language and, at the same time, a formal system based on intensional semantics. It provides users with context-switching operators which allow values from different contexts to be combined without explicit context manipulation. Plane Lu...
متن کاملMulti-dimensional Logic Programming
This paper introduces an extension of logic programming based on multi-dimensional logics. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the langu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0802.3940 شماره
صفحات -
تاریخ انتشار 2004