Author: R. Hartwig 1
View More View Less
  • 1 Karl-Marx-Universität Sektion Mathematik DDR-7010 Leipzig Karl-Marx-Platz German Democratic Republic DDR-7010 Leipzig Karl-Marx-Platz German Democratic Republic
Restricted access

The notion of subscripted variable leads to several complications in computer science. Our aim is to clarify this notion in a mathematically proper way. In this paper languages with subscripted variables are considered as certain two-sorted Peano-algebras; semantics and substitution are treated on this foundation. The Hoare axiom for assignments to subscripted variables is derived as an example for application of this algebraic approach.