Skip to main content
SpringerLink
Log in
Book cover

Concurrency, Graphs and Models pp 194–208Cite as

SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5065))

Abstract

Starting from existing spreadsheet software, like Lotus 1-2-3®, Excel®, or Spreadsheet 2000®, we propose a sequence of enhancements to fully integrate constraint-based reasoning, culminating in a system for reactive, graphical, mathematical constructions. This is driven by our view of constraints as the essence of (spreadsheet) computation, rather than as an add-on tool for expert users. We call this extended computational metaphor, spreadspaces.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burnett, M., Yang, S., Summet, J.: A scalable method for deductive generalization in the spreadsheet paradigm. Interactions 9(5), 9–11 (2002)

    Article  Google Scholar 

  2. Castro, C.: Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies. Fundamenta Informaticae 34, 263–293 (1998)

    MATH  MathSciNet  Google Scholar 

  3. Chitnis, S., Yennamani, M., Gupta, G.: Exsched: Solving constraint satisfaction problems with the spreadsheet paradigm. The Computing Research Repository (CoRR), abs/cs/0701109 (2007)

    Google Scholar 

  4. Apple Corp. Numbers (2008), http://www.apple.com/iwork/numbers

  5. ELAN, http://elan.loria.fr

  6. Gupta, G., Akhter, S.F.: Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 308–323. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Horn, B.: Constraint patterns as a basis for object-oriented programming. In: Proceedings of the SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pp. 218–233. ACM Press, New York (1992)

    Google Scholar 

  8. Hower, W., Graf, W.: A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics. Knowl.-Based Syst. 9(7), 449–464 (1996)

    Article  Google Scholar 

  9. Chi, E.H.H., Riedl, J., Barry, P., Konstan, J.: Principles for information visualization spreadsheets. IEEE Comput. Graph. Appl. 18(4), 30–38 (1998)

    Article  Google Scholar 

  10. Hyvönen, E., Pascale, S.D.: A new basis for spreadsheet computing: Interval solver for Microsoft Excel. In: Proceedings of the Sixteenth National Conference on Artificial intelligence and the Eleventh Innovative Applications of Artificial Intelligence Conference (AAAI 1999/ IAAI 1999), Menlo Park, CA, pp. 799–806. American Association for Artificial Intelligence (1999)

    Google Scholar 

  11. ILOG, http://www.ilog.fr

  12. Jayaraman, B., Tambay, P.: Modeling engineering structures with constrained objects. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 28–46. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  13. Konopasek, M., Jayaraman, S.: The TK! Solver Book: A Guide to Problem-Solving in Science, Engineering, Business, and Education. McGraw-Hill, Osborne (1984)

    Google Scholar 

  14. Konopasek, M., Jayaraman, S.: Constraint and declarative languages for engineering applications: The TK!Solver contribution. Proceedings of the IEEE 73(12), 1791–1806 (1985)

    Article  Google Scholar 

  15. Kunstmann, T., Frisch, M., Muller, R.: A declarative programming environment based on constraints. In: Proceedings of the 11th International IEEE Symposium on Visual Languages (VL 1995), Washington DC, September 1995, pp. 120–121. IEEE Computer Society Press, Los Alamitos (1995)

    Google Scholar 

  16. Kwaiter, G., Gaildrat, V., Caubet, R.: Modelling with constraints: A bibliographical survey. In: Proceedings of the Second International Conference on Information Visualisation (IV 1998), pp. 211–220. IEEE Computer Society Press, Los Alamitos (1998)

    Google Scholar 

  17. Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Inf. Sci. 7, 95–132 (1974)

    Article  MathSciNet  Google Scholar 

  18. Montanari, U., Rossi, F.: Constraint solving and programming: What’s next? ACM Comput. Surv., 70 (1996)

    Google Scholar 

  19. Panko, R.R., Halverson Jr., R.P.: Spreadsheets on trial: A survey of research on spreadsheet risks. In: Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS): Decision Support and Knowledge-Based Systems, January 1996, vol. 2, pp. 326–335. IEEE Computer Society Press, Los Alamitos (1996)

    Google Scholar 

  20. Power, D.J.: A brief history of spreadsheets (August 2004), http://dssresources.com/history/sshistory.html

  21. GNU Prolog, http://www.gprolog.org

  22. Ramakrishnan, C.R., Ramakrishnan, I.V., Warren, D.S.: Deductive spreadsheets using tabled logic programming. In: Etalle, S., Truszczyński, M. (eds.) ICLP 2006. LNCS, vol. 4079, pp. 391–405. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  23. Stadelmann, M.: A spreadsheet based on constraints. In: Proceedings of the ACM Symposium on User Interface Software and Technology, pp. 217–224 (1993)

    Google Scholar 

  24. Wilson, S.: Visual programming: Building a visual programming language. Mac. Tech. 13(4) (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, Tel Aviv University, Ramat Aviv, 69978, Israel

    Nachum Dershowitz

  2. INRIA Bordeaux – Sud-Ouest, Talence, France

    Claude Kirchner

Authors
  1. Nachum Dershowitz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claude Kirchner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierpaolo Degano Rocco De Nicola José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dershowitz, N., Kirchner, C. (2008). SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68679-8_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68676-7

  • Online ISBN: 978-3-540-68679-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation