Abstract
The jump instruction is considered essential for an adequate theoretical understanding of imperative sequential programming. Using basic instructions and tests as a basis we outline an algebra of programs, denoted PGA, which captures the crux of sequential programming.We single out a behavior
extraction operator which assigns to each program a behavior.
... read more