2 search results - page 1 / 1 » Gencel: a program generator for correct spreadsheets |
JFP
2006
13 years 4 months ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...