previous up next
Go backward to Describing Programs with RTLA
Go up to Top
Go forward to TLA
RISC-Linz logo

Describing Programs with RTLA

Each equivalent formula is a valid representation of the program.


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next