Imperative Languages I

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Imperative Languages
  • A Language with Assignment
  • Valuation Functions
  • Program Denotation
  • Simplification
  • Simplification
  • Simplification
  • Simplification
  • Program Denotation
  • Simplification II
  • Simplification II
  • Program Equivalence
  • Program Equivalence
  • Programs Are Functions
  • Programs are Functions
  • Program Denotation

  • Author: Wolfgang Schreiner
    Last Modification: October 14, 1997

    [Up] [RISC-Linz] [University] [Search]