Towards a Formal Semantics of Tables

Dr. Ryszard Janicki
(janicki@maccs.dcss.mcmaster.ca)

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


Abstract

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.