|
Blackwell A.2002First steps in programming: a rationale for attention investment models. In Conference on Human-Centric Computing Languages and Environments. IEEE Computer Society, pp. 2–10. |
|
Boehm B. W., Abts C., Brown A., Chulani S., Horowitz E., Madachy R., Reifer D., Clark B. K. and Steece B.2000Software Cost Estimation with COCOMO II, Upper Saddle River: Prentice Hall. |
|
Ceri S., Gottlob G. and Tanca L.1990Logic Programming and Databases, Springer Verlag. |
|
Cervesato I.2005 The deductive spreadsheet. Technical Report DS05-02, Deductive Solutions. Berlin, Heidelberg, New York. |
|
Cheng M. H. M., van Emden M. H. and Lee J. H.-M.1988 Tables as a user interface for logic programs, in ‘Fifth Generation Computer Systems’, pp. 784–791. |
|
Colomb R. M.1998Deductive Databases and their Applications, London: Taylor & Francis. |
|
Green T. and Petre M.1996Usability analysis of visual programming environments: a cognitive dimensions framework. Journal of Visual Languages and Computing7, 131–174. |
|
Gupta G. and Akhter S.2000 Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In Proceedings of the Second International Workshop Practical Aspects of Declarative Languages. Boston, MA: Springer Verlag LNCS 1753, pp. 308–323. |
|
Kriwaczek F.1982 Some applications of Prolog to decision support systems. Master’s thesis, Imperial College, London, UK. |
|
Kriwaczek F.1988Logicalc: a Prolog spreadsheet, Machine intelligence. |
|
Lloyd J. W.1987Foundations of Logic Programming, 2nd extended edn. New York: Springer-Verlag. |
|
Panko R. R.1998What we know about spreadsheet errors. Journal of End User Computing (Special issue on Scaling Up End User Development)10(2), 15–21. Available at www.panko.cba.hawaii.edu/ssr/Mypapers/whatknow.htm. |
|
Peyton Jones S., Blackwell A. and Burnett M.2003 A user-centred approach to functions in Excel. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, Uppsala, Sweden: ACM Press, pp. 165–176. |
|
Power D. 10/04/2003 A brief history of spreadsheets. Available at www.dssresources.com/history/sshistory.html. DSSResources.Com. |
|
Smith D. E., Genesereth M. R. and Ginsberg M. L.1986Controlling recursive inference, Artificial Intelligence30(3), 343–389. |
|
Spenke M. and Beilken C.1989 A spreadsheet interface for logic programming. In CHI ’89: Proceedings of the SIGCHI conference on Human Factors in Computing Systems, ACM Press, pp. 75–80. |
|
van Emden M. H., Ohki M. and Takeuchi A.1986Spreadsheets with incremental queries as a user interface for logic programming. New Generation Computing4(3), 287–304. |
|
Warren D. S.1998 Programming with tabling in XSB, In Gries D. and de Roever W. P. (eds.), Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET’98), Vol. 125 of IFIP Conference Proceedings, Shelter Island, NY: Chapman & Hall, pp. 5–6. |
|
Workshop on Logical Spreadsheets 2005 Available at www.wols05.stanford.edu. |