Imperative Languages II

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • An Interactive File Editor
  • Opened File
  • Valuation Functions
  • Error Messages
  • Collecting Log
  • Copyout function
  • A Dynamically Typed Language with Input and Output
  • Valuation Functions
  • Composition of States
  • Error Handling
  • Altering the Properties of Stores
  • Delayed Evaluation
  • Non-strict Store Updates
  • Example
  • Example
  • Non-Strict Command Execution
  • Example
  • Retaining Multiple Stores
  • Non-Communicating Commands

  • Author: Wolfgang Schreiner
    Last Modification: November 5, 1997

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