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.