Gencel: a program generator for correct spreadsheets

Martin Erwig, Robin Abraham, Steve Kollmansberger, Irene Cooperstein. Gencel: a program generator for correct spreadsheets. Journal of Functional Programming, 16(3):293-325, 2006. [doi]

Abstract

Abstract is missing.