Using formal logic to define the grammar for memory transfer language (MTL) on the mould of register transfer language (RTL) and high level languages

Leonard J. Mselle

This paper revisits visualization as a technique to enhance programming comprehension. It points out that animation, being a machine-driven visualization, is inadequate. Memory Transfer Language (MTL), as a visualization technique which is absolutely programmer-driven is demonstrated and discussed. It is shown that MTL can be plugged into current materials for teaching programming. Register Transfer Language (RTL) combined with high level languages are used as bedrocks on which MTL is formalized.

Type of Publication: Paper
Conference: PPIG 2011 - 23rd Annual Workshop
Publication Year: 2011
Paper #: 9
TitleUsing formal logic to define the grammar for memory transfer language (MTL) on the mould of register transfer language (RTL) and high level languages
Publication TypePaper
AuthorsMselle, LJ
PPIG Workshop: 
2011-09-23rd