A functional theory of exceptions
Science of Computer Programming
Handbook of logic in computer science (vol. 2)
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
From system F to typed assembly language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicate Logic for Software Engineering
IEEE Transactions on Software Engineering
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
An IDE for software development using tabular expressions
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Optimization of visitor performance by reflection-based analysis
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
| Hi-index | 0.00 |
Tabular expressions are a multidimensional structured notation for complex mathematical definitions of relations or functions. They have been found useful for documenting imperative programs by stating the function or relation that describes the black-box behaviour of those programs. Tools are needed to increase the practicality of this approach to documentation. In order to create tools to check and evaluate tabular expressions, we have investigated functional programming as an implementation paradigm that reflects the semantics of these mathematical expressions faithfully. We explain why and how the restriction to total functions improves the semantic correspondence substantially, and describe the basic design and capabilities of our total functional programming tools for tabular expressions. We demonstrate the practical advantages of totality by giving examples for the especially easy and effective application of well-known code transformation techniques to total functional programs.