Towards a Formal Semantics of Tables
Dr. Ryszard Janicki
Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1
A formal semantics of tables [Par 92] is proposed. The concept of cell connection graph is introduced
and its properties are discussed. A mechanism to design new types of tables is proposed.