Go backward to Initially-section
Go up to Top
Go forward to Quantified Expression
Always-section
- Define program variables as functions of other variables.
- Same syntax as in initially-section.
- Variables on left side are transparent.
- Must not appear on left side of any initialization or assignment.
- Same restrictions as in initially-section.
- Example:
- initially a = 0 [] b = 1
always s = a+b
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: intro.tex,v 1.2 1996/01/31 15:37:03 schreine Exp schreine