Basic Structure of Denotational Definitions

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • A Calculator Language
  • Evaluation Functions
  • Observations
  • S Rule
  • Simplification
  • Simplification
    • Author: Wolfgang Schreiner
    Last Modification: October 14, 1997
    [Up] [RISC-Linz] [University] [Search]