A scalable method for deductive generalization in the spreadsheet paradigm
| Autor: | Jay W. Summet, Sherry Yang, Margaret Burnett |
|---|---|
| Rok vydání: | 2002 |
| Předmět: |
Theoretical computer science
Dataflow Generalization Programming language Computer science Perspective (graphical) Inference Digital library computer.software_genre Field (computer science) Human-Computer Interaction Human–computer interaction Scalability Dialog box Heuristics GeneralLiterature_REFERENCE(e.g. dictionaries encyclopedias glossaries) computer Visual programming language |
| Zdroj: | ACM Transactions on Computer-Human Interaction. 9:253-284 |
| ISSN: | 1557-7325 1073-0516 |
| DOI: | 10.1145/586081.586083 |
| Popis: | In this paper, we present an efficient method for automatically generalizing programs written in spreadsheet languages. The strategy is to do generalization through incremental analysis of logical relationships among concrete program entities from the perspective of a particular computational goal. The method uses deductive dataflow analysis with algebraic back-substitution rather than inference with heuristics, and there is no need for generalization-related dialog with the user. We present the algorithms and their time complexities and show that, because the algorithms perform their analyses incrementally, on only the on-screen program elements rather than on the entire program, the method is scalable. Performance data is presented to help demonstrate the scalability. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|